chiark / gitweb /
Build fixes. release-0-55
authorian <ian>
Thu, 18 Sep 1997 02:13:32 +0000 (02:13 +0000)
committerian <ian>
Thu, 18 Sep 1997 02:13:32 +0000 (02:13 +0000)
Makefile.in

index 08b0611..2b2e0d9 100644 (file)
@@ -132,7 +132,7 @@ linecount:  $(SOURCES)
                rm -rf $@; debiandoc2html $<
 
 %.ps:          %.sgml
-               debiandoc2ps -1 -k -O $< >$@.new && mv $@.new $@
+               debiandoc2ps -1 -O $< >$@.new && mv $@.new $@
 
 %.ps:          %.fig
                fig2dev -L ps -c -l dummy -P -z A4 $< >$@.new && mv $@.new $@