diff --git a/tools/webdoc b/tools/webdoc index 5997c61..14feac0 100755 --- a/tools/webdoc +++ b/tools/webdoc @@ -83,8 +83,8 @@ webify() s##\n&#; ' "$docpath" \ | awk ' - // { - print ""; + /"; system( "awk \"/body/{i=1;next;} i\" includes/header.html | '"$shref"'" ); next }