diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-06-25 16:43:48 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-06-25 16:43:48 +0000 |
| commit | b96b36f43de3e2f8b58d5f539daa6f6d47f25870 (patch) | |
| tree | 0992334be13cec6538a1dea22fbbf26ad6bdf224 /src/haddock/haddock-script.csh | |
| parent | fe367412e0aeb4ad5c02de68e6eca382e0f96984 (diff) | |
removed src for 2.9
Diffstat (limited to 'src/haddock/haddock-script.csh')
| -rw-r--r-- | src/haddock/haddock-script.csh | 73 |
1 files changed, 0 insertions, 73 deletions
diff --git a/src/haddock/haddock-script.csh b/src/haddock/haddock-script.csh deleted file mode 100644 index 77b3761f8..000000000 --- a/src/haddock/haddock-script.csh +++ /dev/null @@ -1,73 +0,0 @@ -#!/bin/tcsh - -###################################################################### -# Author: Peter Ljunglöf -# Time-stamp: "2005-05-12, 23:17" -# CVS $Date: 2005/05/13 12:40:20 $ -# CVS $Author: peb $ -# -# a script for producing documentation through Haddock -###################################################################### - -set basedir = `pwd` -set docdir = haddock/html -set tempdir = haddock/.temp-files -set resourcedir = haddock/resources - -set files = (`find GF -name '*.hs'` GF.hs) - -###################################################################### - -echo 1. Creating and cleaning Haddock directory -echo -- $docdir - -mkdir -p $docdir -rm -rf $docdir/* - -###################################################################### - -echo -echo 2. Copying Haskell files to temporary directory: $tempdir - -rm -rf $tempdir - -foreach f ($files) - # echo -- $f - mkdir -p `dirname $tempdir/$f` - perl -pe 's/^#/-- CPP #/' $f > $tempdir/$f -end - -###################################################################### - -echo -echo 3. Invoking Haddock - -cd $tempdir -haddock -o $basedir/$docdir -h -t 'Grammatical Framework' $files -cd $basedir - -###################################################################### - -echo -echo 4. Restructuring to HTML framesets - -echo -- Substituting for frame targets inside html files -mv $docdir/index.html $docdir/index-frame.html -foreach f ($docdir/*.html) - # echo -- $f - perl -pe 's/<HEAD/<HEAD><BASE TARGET="contents"/; s/"index.html"/"index-frame.html"/; s/(<A HREF = "\S*index\S*.html")/$1 TARGET="index"/' $f > .tempfile - mv .tempfile $f -end - -echo -- Copying resource files: -echo -- `ls $resourcedir/*.*` -cp $resourcedir/*.* $docdir - -###################################################################### - -echo -echo 5. Finished -echo -- The documentation is located at: -echo -- $docdir/index.html - - |