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 3462, Wed Nov 18 22:23:31 2009 UTC revision 3463, Thu Nov 19 00:04:25 2009 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 {  mkDirTree () {
10    base=$1    base=$1
11    if test ! -d $base ; then    if test ! -d $base ; then
12      mkdir $base || (echo "unable to create $base"; exit 1)      mkdir $base || (echo "unable to create $base"; exit 1)

Legend:
Removed from v.3462  
changed lines
  Added in v.3463

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