# Delete some files generated during build, to avoid dpkg-source -b # going nuts during a rebuild. .depend .depend_p microbench Distribution/*.o Distribution/*.hi tests/*.o tests/*.hi # ./darcs.docs says "doc/manual" instead of "doc/manual/*.html" # because we want /usr/share/doc/darcs/manual, rather than all those # files directly in /usr/share/doc/darcs. But we *don't* want to # install the intermediary files like WARNINGS and darcs.tex. doc/manual/WARNINGS doc/manual/*.tex doc/manual/*.pl # We compile Setup in order to run ./Setup clean (since runghc/ghci # doesn't work on some architectures). Therefore we remove Setup's # build code here. Sigh. Setup Setup.hi Setup.o Distribution/ShellHarness.hi Distribution/ShellHarness.o