From f85232947e74ee7ef8c7b0ad2338212e7e68f1be Mon Sep 17 00:00:00 2001 From: krasimir Date: Sun, 13 Dec 2009 18:50:29 +0000 Subject: reorganize the directories under src, and rescue the JavaScript interpreter from deprecated --- src/haddock/haddock-script.csh | 73 ------------------------------------------ 1 file changed, 73 deletions(-) delete mode 100644 src/haddock/haddock-script.csh (limited to 'src/haddock/haddock-script.csh') 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/ .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 - - -- cgit v1.2.3