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

SCM Repository

[smlnj] Annotation of /smlnj-lib/trunk/Doc/config.sh
ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2535 - (view) (download) (as text)

1 : jhr 2534 #!/bin/sh
2 :     #
3 :     # This script creates the Makefile for building the documentation. You
4 :     # will need to have installed the ML-Doc tools and have mk-mldoc-makefile
5 :     # program in your path.
6 :    
7 :     find ML-Doc -name "*.mldoc" -print | mk-mldoc-makefile
8 :    
9 : jhr 2535 function mkDirTree {
10 :     base=$1
11 :     if test ! -d $base ; then
12 :     mkdir $base || (echo "unable to create $base"; exit 1)
13 :     fi
14 :     for i in ML-Doc/* ; do
15 :     if test -d $i ; then
16 :     f=$base/$(basename $i)
17 :     if test ! -d $f; then
18 :     echo " creating $f"
19 :     mkdir $f || (echo "unable to create $f"; exit 1)
20 :     fi
21 :     fi
22 :     done
23 :     }
24 :    
25 :     mkDirTree Info
26 :     mkDirTree HTML

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