[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 }