commit a9ffb4cbf972c13684d1d792d12bdb01d60edb4c (patch)
parent 325429f6c744706d9dd533262303f9e1689418a5
Author: Alex Karle <alex@alexkarle.com>
Date: Sun, 7 Feb 2021 17:24:37 -0500
make: Strip "Misc Info Manual" tag from built HTML
Both in the generated HTML and the atom.xml, this takes up precious
space, especially on mobile.
Diffstat:
3 files changed, 3 insertions(+), 5 deletions(-)
diff --git a/Makefile b/Makefile
@@ -26,4 +26,5 @@ atom.xml: blog.7 genatom.sh
@echo "mandoc $<"
$(HIDE)mandoc -Thtml -O 'man=%N.html;https://man.openbsd.org/%N.%S,style=style.css' $< \
| sed 's#</head>#<meta name="viewport" content="width=device-width,initial-scale=1">&# ' \
+ | sed '/<td class="head-vol">Miscellaneous Information Manual<\/td>/d' \
> $@
diff --git a/genatom.sh b/genatom.sh
@@ -36,7 +36,8 @@ for p in $POSTS; do
<![CDATA[
ENTRY
# Print fragment (no need for escapes -- in CDATA
- mandoc -Thtml -O'fragment,man=%N.html;https://man.openbsd.org/%N.%S' $p.7
+ mandoc -Thtml -O'fragment,man=%N.html;https://man.openbsd.org/%N.%S' $p.7 \
+ | sed '/<td class="head-vol">Miscellaneous Information Manual<\/td>/d'
cat <<EOENTRY
]]>
</content>
diff --git a/style.css b/style.css
@@ -37,9 +37,6 @@ b,i { color: #000000 }
table.foot { margin-top: 3em; }
table.head { margin-bottom: 3em; }
-/* hide the "miscellaneous" section bit -- too big on mobile */
-td.head-vol { visibility: hidden; }
-
/* scrollbars on the block-display content */
div.Bd-indent {
border-left-color: gray;
@@ -56,7 +53,6 @@ div.Bd-indent {
/* defaults from mandoc(1)'s inlined CSS */
table.head, table.foot { width: 100%; }
td.head-rtitle, td.foot-os { text-align: right; }
-td.head-vol { text-align: center; }
.Nd, .Bf, .Op { display: inline; }
.Pa, .Ad { font-style: italic; }
.Ms { font-weight: bold; }