File: make-html

package info (click to toggle)
haskell98-tutorial 200006-3
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 624 kB
  • ctags: 11
  • sloc: haskell: 2,125; makefile: 80; sh: 13
file content (11 lines) | stat: -rwxr-xr-x 299 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
 
#! /bin/bash
# You need to change the runhugs path
echo "Generating html for tutorial in ./html"
echo "Run this twice to get references right"
echo "Report must be in ../report for hyperlinks to work"
rm -fr html
mkdir html
cp *.gif html
cp *.html html
cp -r code html
runhugs -c60 -h5000000 tex.hs