GNU
/
easejs
1
0
Fork 0
Code Releases Activity

Correct webdoc manual styling for Texinfo 5.2

website
Mike Gerwitz 2015-10-26 23:54:51 -04:00
parent cd7fcb68f1
commit 7d6511799e
No known key found for this signature in database
GPG Key ID: F22BB8158EE30EAB
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/webdoc
View File

@ -83,8 +83,8 @@ webify()
s#</body>#\n&#;
' "$docpath" \
| awk '
/<body>/ {
print "<body class=\"manual\">";
/<body/ {
print "<body class=\"manual\" lang=\"en\">";
system( "awk \"/body/{i=1;next;} i\" includes/header.html | '"$shref"'" );
next
}