From 968c6aa91f29e2a38bda5147fc8003c8bc5e89c0 Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Wed, 25 Dec 2013 02:07:33 -0500 Subject: [PATCH] Body class correction for manual pages man=>manual --- tools/webdoc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/webdoc b/tools/webdoc index c2797aa..ee572f1 100755 --- a/tools/webdoc +++ b/tools/webdoc @@ -84,7 +84,7 @@ webify() ' "$docpath" \ | awk ' // { - print ""; + print ""; system( "awk \"/body/{i=1;next;} i\" includes/header.html | '"$shref"'" ); next }