#!/bin/sh

# +-----------------------------------------------------+
# | build an html page with links to misc documentation |
# +-----------------------------------------------------+

source /var/www/scarydevil/html                 # the sourced file contains the html mini compilers



# ---------- generate doc links ---------- 
doclinks()  {
   link "/cgi-bin/info2www"                      "GNU info pages" ; cr
   link "/cgi-bin/dwww/usr/share/doc/?type=dir"  "/usr/share/doc" ; cr
   link "/dwww/menu/all.html"                    "Debian documentation" ; cr
}   




# ---------- generates links to man page sections-----------
manpages() {
SECTIONNUM=0
(cat << EOF
user commands
system calls
library functions
device files
file formats
games
miscellaneous
system admin commands
EOF
) | while read SECTIONNAME ; do
      (( SECTIONNUM++ ))
      link "/dwww/man/s${SECTIONNUM}.html"   "section ${SECTIONNUM}: ${SECTIONNAME}"
      cr
    done
}



# ------ "page has been generated" and validation link ------
footer() {
   put page has been generated by ; link "/docmenu" "script" ; validated
}





# ------- generate the page -------
page "documentation links"
   header 4
      doclinks
      cr
      manpages
   end
   hardreturn ; footer ; hardreturn
ends