Build fixes.

diff --git a/Makefile.in b/Makefile.in
index 08b06112b0268f5318723bdc227fa0483a6e63cc..2b2e0d9fe06fbfd9b23414dd8f1f9f254d055ad2 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -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 $@