summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2013-11-28 13:48:38 +0100
committerClifford Wolf <clifford@clifford.at>2013-11-28 13:48:38 +0100
commit6dfb66d26298662b4e64d55cf3c9f07738528ebc (patch)
tree836083510396a150cb6668637757609354047f4c /Makefile
parent5af7f4db72586a8cc8c1e685eb5af8f635e91718 (diff)
Started writing appnote 011
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 3a12ad81..31ae7655 100644
--- a/Makefile
+++ b/Makefile
@@ -146,7 +146,7 @@ clean:
rm -f $(OBJS) $(GENFILES) $(TARGETS)
rm -f kernel/version_*.o kernel/version_*.cc abc/abc-[0-9a-f]*
rm -f libs/*/*.d frontends/*/*.d passes/*/*.d backends/*/*.d kernel/*.d
- cd manual && rm -f *.aux *.bbl *.blg *.idx *.log *.out *.pdf *.toc
+ cd manual && rm -f *.aux *.bbl *.blg *.idx *.log *.out *.pdf *.toc *.ok
test ! -f libs/svgviewer/Makefile || make -C libs/svgviewer distclean
mrproper: clean