diff options
Diffstat (limited to 'info/mendex-doc/Makefile')
-rw-r--r-- | info/mendex-doc/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/info/mendex-doc/Makefile b/info/mendex-doc/Makefile index 30e1c2bcfb..881f227bb2 100644 --- a/info/mendex-doc/Makefile +++ b/info/mendex-doc/Makefile @@ -14,6 +14,7 @@ all: $(PDFTARGET) .SUFFIXES: .tex .dvi .pdf .tex.dvi: + $(MDX) -h 2>mendex-version.log $(LTX) $< $(MDX) mendex-sub mv mendex-sub.ind mendex-sub-0.ind |