GNU
/
easejs
1
0
Fork 0
Code Releases Activity

Body class correction for manual pages 

man=>manual
website
Mike Gerwitz 2013-12-25 02:07:33 -05:00
parent a2abc9cef8
commit 968c6aa91f
No known key found for this signature in database
GPG Key ID: F22BB8158EE30EAB
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/webdoc
View File

@ -84,7 +84,7 @@ webify()
' "$docpath" \ ' "$docpath" \
| awk ' | awk '
/<body>/ { /<body>/ {
print "<body class=\"man\">"; print "<body class=\"manual\">";
system( "awk \"/body/{i=1;next;} i\" includes/header.html | '"$shref"'" ); system( "awk \"/body/{i=1;next;} i\" includes/header.html | '"$shref"'" );
next next
} }