chiark / gitweb /
some packaging and makefile fixes (found in a working tree)
[userv.git] / Makefile.in
index 9902914053722463032bbd63711c6030ed3ed7e0..db458ae3ba2de4e4c0e66b409449e7bd72dd8eee 100644 (file)
@@ -151,7 +151,7 @@ clean:
                        | xargs -r rm
                rm -rf $(TARGETS) *.o core version.h
                rm -f overview.eps
-               rm -f spec.lout* spec.text* spec.ps?* spec.sgml.new
+               rm -f spec.lout* spec.text* spec.ps?* spec.sgml.new spec.tex
                rm -f lout.li *.ld *.lix *.ldx
                rm -f userv-*.tar.gz vd/*