diff options
| author | peb <unknown> | 2005-02-04 08:57:10 +0000 |
|---|---|---|
| committer | peb <unknown> | 2005-02-04 08:57:10 +0000 |
| commit | b2a6b1a176e1f707d3b14a9b35866d7a01406f23 (patch) | |
| tree | 8a84760aa1a58ecb2a968c57aa781559ee567d8b | |
| parent | 54e7b5a5ef1ab05501972328108003c7745cb52d (diff) | |
"Committed_by_peb"
| -rw-r--r-- | src/haddock/haddock-script.csh | 23 |
1 files changed, 12 insertions, 11 deletions
diff --git a/src/haddock/haddock-script.csh b/src/haddock/haddock-script.csh index ea1980d8c..ba7aab127 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-04, 10:12" -# CVS $Date: 2005/02/04 09:46:17 $ +# Time-stamp: "2005-02-04, 10:52" +# CVS $Date: 2005/02/04 09:57:10 $ # CVS $Author: peb $ # # a script for producing documentation through Haddock @@ -13,12 +13,11 @@ set base = `pwd` set docdir = $base/haddock set resourcedir = $base/haddock-resources -set dirs = (. api compile grammar infra shell source canonical useGrammar cf newparsing parsers notrace cfgm speech visualization for-ghc) -set rmfiles = {Lex,Par}{CFG,GF,GFC}.hs +set dirs = (. api compile grammar infra shell source canonical useGrammar cf newparsing parsers notrace cfgm speech visualization for-hugs for-ghc) ###################################################################### -echo 0. Creating and cleaning Haddock directory +echo 1. Creating and cleaning Haddock directory echo -- $docdir mkdir -p $docdir @@ -27,7 +26,7 @@ rm $docdir/* ###################################################################### echo -echo 1. Selecting and copying Haskell files +echo 2. Selecting and copying Haskell files foreach d ($dirs) echo -- Directory: $d @@ -39,12 +38,14 @@ end ###################################################################### -echo -echo 2. Removing unnecessary files +# set rmfiles = {Lex,Par}{CFG,GF,GFC}.hs -cd $docdir -echo -- `ls $rmfiles` -rm $rmfiles +# echo +# echo 2. Removing unnecessary files + +# cd $docdir +# echo -- `ls $rmfiles` +# rm $rmfiles ###################################################################### |