From c5b963769539c8a7c9bd154585686d263c7d6d8a Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 22 Dec 2010 14:11:55 +0000 Subject: removed GF/deprecated --- deprecated/haddock/haddock-script.csh | 73 ----------------------------------- 1 file changed, 73 deletions(-) delete mode 100644 deprecated/haddock/haddock-script.csh (limited to 'deprecated/haddock/haddock-script.csh') diff --git a/deprecated/haddock/haddock-script.csh b/deprecated/haddock/haddock-script.csh deleted file mode 100644 index 77b3761f8..000000000 --- a/deprecated/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