Skip to content
Browse files

Correct webdoc manual styling for Texinfo 5.2

  • Loading branch information...
1 parent cd7fcb6 commit 7d6511799e6a4c1a127b217fc8f2e85e8725d15d @mikegerwitz committed
Showing with 2 additions and 2 deletions.
  1. +2 −2 tools/webdoc
View
4 tools/webdoc
@@ -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
}

0 comments on commit 7d65117

Please sign in to comment.
Something went wrong with that request. Please try again.