#!/bin/csh -f # makehtml -*- Shell-script -*- Modified: ramsan Jun-1997 set whattodo = none loop: switch ( $1 ) case -1faq: set whattodo = 1faq shift goto loop case -mfaq: set whattodo = mfaq shift goto loop case -1: set whattodo = 1 shift goto loop case -m: set whattodo = m shift goto loop case -rm: set whattodo = rm shift goto loop case -rcpfaq set whattodo = rcpfaq shift goto loop default: breaksw endsw if ( $whattodo == none ) then echo " " echo " Usage: makehtml option" echo " " echo "where option can be:" echo " " echo "-1: create just one html file and index" echo "-m: create more html files" echo "-1faq: create just one html file and index for the FAQ" echo "-mfaq: create more html files for the FAQ" echo "-rm: delete files" echo "-rcpfaq: copy FAQ files to the GiD web page" exit endif if ( $whattodo == 1 ) then echo texi2html -glossary -split_chapter -verbose ../gid.texinfo texi2html -glossary -verbose ../gid.texinfo else if ( $whattodo == m ) then echo texi2html -glossary -split_chapter -verbose ../gid.texinfo texi2html -glossary -split_chapter -verbose ../gid.texinfo else if ( $whattodo == 1faq ) then echo texi2html -glossary -split_chapter -verbose -menu ../faq.texinfo texi2html -glossary -verbose -menu ../faq.texinfo else if ( $whattodo == mfaq ) then echo texi2html -glossary -split_chapter -verbose -menu ../faq.texinfo texi2html -glossary -split_chapter -verbose -menu ../faq.texinfo else if ( $whattodo == rcpfaq) then echo rcp faq* gatxan:/usr/local/tclhttpd/htdocs/support #rcp faq* gatxan:/usr/local/tclhttpd/htdocs/support else rm -f *.html endif