X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?p=userv.git;a=blobdiff_plain;f=Makefile.in;fp=Makefile.in;h=db458ae3ba2de4e4c0e66b409449e7bd72dd8eee;hp=9902914053722463032bbd63711c6030ed3ed7e0;hb=74abc66346af53745a393b76a7cf2cd21586259b;hpb=150ac98f750353e2631d48eba47476b81ba1a3fa

diff --git a/Makefile.in b/Makefile.in
index 9902914..db458ae 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -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/*