chiark
/
gitweb
/
~ian
/
userv.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
10df35b
)
Build fixes.
release-0-55
author
ian
<ian>
Thu, 18 Sep 1997 02:13:32 +0000
(
02:13
+0000)
committer
ian
<ian>
Thu, 18 Sep 1997 02:13:32 +0000
(
02:13
+0000)
Makefile.in
patch
|
blob
|
history
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 $@