diff --git a/tools/webdoc b/tools/webdoc index ae400db..8278cbb 100755 --- a/tools/webdoc +++ b/tools/webdoc @@ -70,6 +70,7 @@ webify() s##\n&#; s#highlight\.pack\.js#'$root'scripts/&#; + s##\n&#; ' "$docpath" \ | awk ' // { @@ -80,11 +81,11 @@ webify() " ); next } - { print } /<\/body>/ { system( "cat includes/footer.html" ); - next + exit } + { print } ' \ > "$tmp"