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 3463 - (download) (as text) (annotate)
Thu Nov 19 00:04:25 2009 UTC (9 years, 7 months ago) by jhr
File size: 624 byte(s)
  Make script POSIX-compliant
# 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

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
mkDirTree Hardcopy

ViewVC Help
Powered by ViewVC 1.0.0