doc: Change how is the version number included

[omk.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 229171bfe43e53861d6b7d559e956e32fe86210e..b9fee7375cf99f529b9ea6fb2f44ad236d04ba3e 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -3,13 +3,12 @@ VERSION:=$(shell git describe|sed -e 's/^v//')
 
 .PHONY: FORCE
 
-all: $(SOURCE).pdf $(SOURCE).txt $(SOURCE).html
+all: $(SOURCE).txt $(SOURCE).html $(SOURCE).pdf
 
 .version: FORCE
        echo $(VERSION) | cmp -s $@ - || echo $(VERSION) > $@
 
-%.texi: %.texinfo .version
-       sed -e 's/\$$Id\$$/$(VERSION)/g' < $< > $@
+%.texinfo: .version
 
 PNG_FIGS = $(wildcard *.png)
 PDF_FIGS = $(patsubst %.png,%.pdf,$(PNG_FIGS))
@@ -17,14 +16,14 @@ PDF_FIGS = $(patsubst %.png,%.pdf,$(PNG_FIGS))
 %.pdf: %.png
        convert $< -density 150 $@
 
-%.pdf: %.texi $(PDF_FIGS)
+%.pdf: %.texinfo $(PDF_FIGS)
        texi2dvi --pdf $<
        texi2dvi --pdf $<
 
-%.txt: %.texi
+%.txt: %.texinfo
        makeinfo --no-headers --force -o $@ $<
 
-%.html: %.texi
+%.html: %.texinfo
        makeinfo --html --no-split -o $@ $<
 #      texi2html --l2h $<
 # Fix texinfo HTML output