1
0
forked from GitHub/gf-core

"Committed_by_peb"

This commit is contained in:
peb
2005-02-04 08:57:10 +00:00
parent 54e7b5a5ef
commit b2a6b1a176

View File

@@ -2,8 +2,8 @@
###################################################################### ######################################################################
# Author: Peter Ljunglöf # Author: Peter Ljunglöf
# Time-stamp: "2005-02-04, 10:12" # Time-stamp: "2005-02-04, 10:52"
# CVS $Date: 2005/02/04 09:46:17 $ # CVS $Date: 2005/02/04 09:57:10 $
# CVS $Author: peb $ # CVS $Author: peb $
# #
# a script for producing documentation through Haddock # a script for producing documentation through Haddock
@@ -13,12 +13,11 @@ set base = `pwd`
set docdir = $base/haddock set docdir = $base/haddock
set resourcedir = $base/haddock-resources 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 dirs = (. api compile grammar infra shell source canonical useGrammar cf newparsing parsers notrace cfgm speech visualization for-hugs for-ghc)
set rmfiles = {Lex,Par}{CFG,GF,GFC}.hs
###################################################################### ######################################################################
echo 0. Creating and cleaning Haddock directory echo 1. Creating and cleaning Haddock directory
echo -- $docdir echo -- $docdir
mkdir -p $docdir mkdir -p $docdir
@@ -27,7 +26,7 @@ rm $docdir/*
###################################################################### ######################################################################
echo echo
echo 1. Selecting and copying Haskell files echo 2. Selecting and copying Haskell files
foreach d ($dirs) foreach d ($dirs)
echo -- Directory: $d echo -- Directory: $d
@@ -39,12 +38,14 @@ end
###################################################################### ######################################################################
echo # set rmfiles = {Lex,Par}{CFG,GF,GFC}.hs
echo 2. Removing unnecessary files
cd $docdir # echo
echo -- `ls $rmfiles` # echo 2. Removing unnecessary files
rm $rmfiles
# cd $docdir
# echo -- `ls $rmfiles`
# rm $rmfiles
###################################################################### ######################################################################