diff options
| author | peb <unknown> | 2005-02-04 08:46:17 +0000 |
|---|---|---|
| committer | peb <unknown> | 2005-02-04 08:46:17 +0000 |
| commit | 54e7b5a5ef1ab05501972328108003c7745cb52d (patch) | |
| tree | d16b60a7444f84a7619374f70477c8a97a2972bf /src/haddock/haddock-script.csh | |
| parent | 1afb28b644df692b0c9ee51f20217934a754f3d0 (diff) | |
"Committed_by_peb"
Diffstat (limited to 'src/haddock/haddock-script.csh')
| -rw-r--r-- | src/haddock/haddock-script.csh | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/src/haddock/haddock-script.csh b/src/haddock/haddock-script.csh index 57248faea..ea1980d8c 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:21" -# CVS $Date: 2005/02/03 15:23:02 $ +# Time-stamp: "2005-02-04, 10:12" +# CVS $Date: 2005/02/04 09:46:17 $ # CVS $Author: peb $ # # a script for producing documentation through Haddock @@ -19,12 +19,10 @@ set rmfiles = {Lex,Par}{CFG,GF,GFC}.hs ###################################################################### echo 0. Creating and cleaning Haddock directory +echo -- $docdir -if (-d $docdir) then - rm $docdir/* -else - mkdir $docdir -endif +mkdir -p $docdir +rm $docdir/* ###################################################################### |