From d31fed33c04459cbbe9ab735a366c7039874cd1f Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Mon, 7 May 2012 23:50:24 -0400 Subject: [PATCH] Corrected closing body and html tags in webdoc --- tools/webdoc | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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"