diff options
| author | peb <unknown> | 2005-02-03 14:23:02 +0000 |
|---|---|---|
| committer | peb <unknown> | 2005-02-03 14:23:02 +0000 |
| commit | 1afb28b644df692b0c9ee51f20217934a754f3d0 (patch) | |
| tree | 19d4fca6f99d8f6c2dca1445e279cbdae709094a /src/haddock | |
| parent | 4a5a48157fc85f7bb4deaf446140b1178a666f24 (diff) | |
"Committed_by_peb"
Diffstat (limited to 'src/haddock')
| -rw-r--r-- | src/haddock/haddock-script.csh | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/src/haddock/haddock-script.csh b/src/haddock/haddock-script.csh index 90825e4d3..57248faea 100644 --- a/src/haddock/haddock-script.csh +++ b/src/haddock/haddock-script.csh @@ -2,8 +2,8 @@ ###################################################################### # Author: Peter Ljunglöf -# Time-stamp: "2005-02-03, 16:05" -# CVS $Date: 2005/02/03 15:13:36 $ +# Time-stamp: "2005-02-03, 16:21" +# CVS $Date: 2005/02/03 15:23:02 $ # CVS $Author: peb $ # # a script for producing documentation through Haddock @@ -18,12 +18,17 @@ set rmfiles = {Lex,Par}{CFG,GF,GFC}.hs ###################################################################### -echo 0. Cleaning Haddock directory +echo 0. Creating and cleaning Haddock directory -rm $docdir/* +if (-d $docdir) then + rm $docdir/* +else + mkdir $docdir +endif ###################################################################### +echo echo 1. Selecting and copying Haskell files foreach d ($dirs) |