3e066b8cce68d3b2c2b87f0c621b0ab20dfef7cf
-rw-r--r-- 266 Makefile
-rw-r--r-- 3962 Makefile.common
-rw-r--r-- 148 Makefile.inc
-rw-r--r-- 1276 Makefile.local
-rw-r--r-- 2415 cabal-bin.hs
-rw-r--r-- 14 defineTOP.mk
drwxr-xr-x - doc
-rw-r--r-- 1292 gen_contents_index
-rw-r--r-- 121 hscolour.css
-rw-r--r-- 1111 libraries-footer.txt
-rw-r--r-- 80 libraries-header.txt
-rw-r--r-- 119 prologue.txt