diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |