diff options
| author | aarne <aarne@cs.chalmers.se> | 2009-03-28 13:20:47 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2009-03-28 13:20:47 +0000 |
| commit | 90b71deaf12b82c6e1951640084d76f71268e114 (patch) | |
| tree | 26c27505b574a1e2675a6184a3a2f1188ea83619 /next-lib/doc/Makefile | |
| parent | 3a67fd9b56c335e2135079dbb4c00639502df209 (diff) | |
doc for next-lib; adjustments in summerschool-flyer
Diffstat (limited to 'next-lib/doc/Makefile')
| -rw-r--r-- | next-lib/doc/Makefile | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/next-lib/doc/Makefile b/next-lib/doc/Makefile new file mode 100644 index 000000000..e91ff322c --- /dev/null +++ b/next-lib/doc/Makefile @@ -0,0 +1,16 @@ +.PHONY: abstract synopsis + +all: synopsis abstract + +index: + txt2tags -thtml index.txt +synopsis: + runghc MkSynopsis.hs + +categories-imagemap.html: categories.dot + dot -Tcmapx $^ > $@ + +abstract: + gfdoc -txthtml ../src/abstract/*.gf + mv ../src/abstract/*.html abstract + |