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 2538 - (download) (as text) (annotate)
Thu May 10 21:39:48 2007 UTC (12 years, 1 month ago) by jhr
File size: 630 byte(s)
  Updates
#!/bin/sh
#
# 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 {
  base=$1
  if test ! -d $base ; then
    mkdir $base || (echo "unable to create $base"; exit 1)
  fi
  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)
      fi
    fi
  done
}

mkDirTree Info
mkDirTree HTML
mkDirTree Hardcopy


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