From: Bruno Haible Date: Thu, 17 Jul 2003 10:48:32 +0000 (+0000) Subject: Fix an HTML bug. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dcd94562ea3106d75eec5f6ac4ddf9eb3039fca4;p=pspp Fix an HTML bug. --- diff --git a/MODULES.html.sh b/MODULES.html.sh index 582f060c53..ac653ff551 100755 --- a/MODULES.html.sh +++ b/MODULES.html.sh @@ -1904,8 +1904,6 @@ func_end HEAD func_begin BODY -func_end BODY - element="Gnulib Module List" func_wrap H1 func_echo "$element" @@ -1965,4 +1963,6 @@ func_end UL func_echo '
' func_echo 'Generated from MODULES.html.sh on '`LC_ALL=C date +"%e %B %Y"`. +func_end BODY + func_end HTML