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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2534, Thu May 10 14:08:22 2007 UTC revision 2535, Thu May 10 14:42:51 2007 UTC
# Line 6  Line 6 
6    
7  find ML-Doc -name "*.mldoc" -print | mk-mldoc-makefile  find ML-Doc -name "*.mldoc" -print | mk-mldoc-makefile
8    
9    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

Legend:
Removed from v.2534  
changed lines
  Added in v.2535

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