Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/cml/doc/mkhtml.sh
ViewVC logotype

View of /sml/trunk/src/cml/doc/mkhtml.sh

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2 - (download) (as text) (annotate)
Sat Oct 4 23:33:09 1997 UTC (21 years, 9 months ago) by monnier
File size: 968 byte(s)
Initial revision
#!/bin/ksh
#

SML="/usr/local/sml/bin/sml @SMLdebug=/dev/null"

INPUT=mldoc/input

MLDOC_DIR="/home/jhr/SGML/ML-Doc"
BIN_DIR="$MLDOC_DIR/bin"
INDEX_DIR="INDEX"
HTML_DIR="HTML"

INDEX_EXTRACT="$BIN_DIR/index-extract"
HTML_EXTRACT="$BIN_DIR/html-extract"
HTML_INDEX="$BIN_DIR/html-index"

rm -f "$INDEX_DIR/INDEX"
for i in $(cat $INPUT)
do
  BASE=$(basename $i ".mldoc")
  rm -rf "$HTML_DIR/$i.html" "$INDEX_DIR/$i.index"
done

echo "creating index files"
for i in $(cat $INPUT)
do
  echo "index for $i"
#  $SML @SMLload=$INDEX_EXTRACT -o $INDEX_DIR $i
  $SML @SMLload=$INDEX_EXTRACT -merge $INDEX_DIR/INDEX $i
done

echo "creating HTML files"
for i in $(cat $INPUT)
do
  BASE=$(basename $i ".mldoc")
  echo "$i --> $HTML_DIR/$BASE.html"
  $SML @SMLload=$HTML_EXTRACT -dir $HTML_DIR -index $INDEX_DIR/INDEX -head $HTML_DIR/HEAD.template -foot $HTML_DIR/FOOT.template $i
done

echo "creating HTML index"
$SML @SMLload=$HTML_INDEX -i $INDEX_DIR/INDEX -dir $HTML_DIR -all


root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0