#! /bin/csh -f 
# Last edited on 1999-04-09 06:16:54 by stolfi

set usage = "$0 FNUM" 

# Formats the documentation for page FNUM of the VMS:
#
#   identification "ident/FNUM"
#   attributes "attr/FNUM"
#   description "desc/FNUM"
#   comments "comm/FNUM"
#   bibliography "bibl/FNUM"
#
# Any of these may be missing.
# The result is an HTML file "html/FNUM".

if ( $#argv != 1 ) then
  echo "usage: $usage" > /dev/stderr; exit 1
endif

set fnum = "$1"; shift;

write-html-header \
    -v title="Page ${fnum}" \
    -v wall=eeffee \
    -v text=000000 \
    -v link=0000ff \
    -v seen=770077 \
  > html/${fnum}.html

append-page-data iden ${fnum}

write-html-tailer \
  >> html/${fnum}.html