1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
# 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
|
