From f13a8bd5c4a633d56336dc3cbd57740b7704302c Mon Sep 17 00:00:00 2001 From: mdiluzio Date: Sat, 10 Jan 2015 17:25:01 +0000 Subject: [PATCH] Ensure that hostname is also properly highlighted --- scripts/gen_manpage.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/gen_manpage.sh b/scripts/gen_manpage.sh index 0ce6110..e699063 100755 --- a/scripts/gen_manpage.sh +++ b/scripts/gen_manpage.sh @@ -35,6 +35,7 @@ cat "$5" \ | sed -E 's/-----+//g' \ | sed -E 's/`(.*)`/\\fB\1\\fR/g' \ | sed -E 's/MAPFILE/\\fImapfile\\fR/g' \ + | sed -E 's/HOSTNAME/\\fIhostname\\fR/g' \ | sed -E 's/ ttrts -/ ttrts \\-/g' >> $TEMP