[Now darcs dist can be used to build a tar ball.
Nils Anders Danielsson <nad@cs.chalmers.se>**20050519173918
 Moved some files to the top-level directory.
 Changed the "package" script into a Makefile which only handles
 building the documentation.
] {
move ./ChasingBottoms/Header ./Header
move ./ChasingBottoms/LICENSE ./LICENSE
move ./ChasingBottoms/package ./Makefile
hunk ./Makefile 1
-#!/bin/sh
+# This Makefile is currently only used to build the documentation.
hunk ./Makefile 3
-mkdir -p docs && \
-cd .. && \
-ls ChasingBottoms.hs ChasingBottoms/*hs | grep -v '/IsType.hs$\|/Tests.hs$' | \
-  xargs haddock -h --title="Chasing Bottoms" --prologue=ChasingBottoms/Header \
-  -oChasingBottoms/docs \
-  && \
-rm -rf chasing-bottoms && \
-mkdir -p chasing-bottoms && \
-cp -p ChasingBottoms/LICENSE chasing-bottoms && \
-( ls -d ChasingBottoms.hs ChasingBottoms/*hs | \
-  xargs -n 1 -i rsync -arR {} chasing-bottoms ) && \
-rsync -ar ChasingBottoms/docs chasing-bottoms && \
-tar zcvf ChasingBottoms/chasing-bottoms.tar.gz chasing-bottoms && \
-rm -rf chasing-bottoms
+EXPOSED_SOURCES = ChasingBottoms.hs ChasingBottoms/Approx.hs	\
+ChasingBottoms/ApproxShow.hs ChasingBottoms/IsBottom.hs		\
+ChasingBottoms/Nat.hs ChasingBottoms/SemanticOrd.hs		\
+ChasingBottoms/TimeOut.hs
+
+docs : $(EXPOSED_SOURCES)
+	-rm -rf docs
+	mkdir -p docs
+	haddock -h --title="Chasing Bottoms" --prologue=Header -odocs \
+	  $^
changepref predist

make docs
}