chiark
/
gitweb
/
~mdw
/
strayman
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
6d46254
)
Build the package before the documentation.
author
Mark Wooding
<mdw@ncipher.com>
Thu, 6 Apr 2006 15:03:05 +0000
(16:03 +0100)
committer
Mark Wooding
<mdw@ncipher.com>
Thu, 6 Apr 2006 15:03:05 +0000
(16:03 +0100)
It works better that way.
Makefile.m4
patch
|
blob
|
blame
|
history
diff --git
a/Makefile.m4
b/Makefile.m4
index f8cff50aad0bdcb02e78fbcec05c6f2c98c545ff..ebec24837e01cf8ad0591375c2aa3db7c22965d0 100644
(file)
--- a/
Makefile.m4
+++ b/
Makefile.m4
@@
-64,7
+64,8
@@
define(`run_latex', `latex "\def\indexing{n} \nonstopmode \input $<"
makeindex -s gind.ist $`'*.idx
latex "\def\indexing{n} \nonstopmode \input $<"')
-.dtx.dvi: $(AUX)
+$(DVI): $(AUX)
+.dtx.dvi:
run_latex
$(OBJ): $(SRC) strayman.ins