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 /smlnj-lib/trunk/Doc/config.sh
ViewVC logotype

View of /smlnj-lib/trunk/Doc/config.sh

Parent Directory Parent Directory | Revision Log Revision Log

Revision 2535 - (download) (as text) (annotate)
Thu May 10 14:42:51 2007 UTC (12 years, 4 months ago) by jhr
File size: 610 byte(s)
  Working on configuration
# This script creates the Makefile for building the documentation.  You
# will need to have installed the ML-Doc tools and have mk-mldoc-makefile
# program in your path.

find ML-Doc -name "*.mldoc" -print | mk-mldoc-makefile

function mkDirTree {
  if test ! -d $base ; then
    mkdir $base || (echo "unable to create $base"; exit 1)
  for i in ML-Doc/* ; do
    if test -d $i ; then
      f=$base/$(basename $i)
      if test ! -d $f; then
        echo " creating $f"
        mkdir $f || (echo "unable to create $f"; exit 1)

mkDirTree Info
mkDirTree HTML

ViewVC Help
Powered by ViewVC 1.0.0