diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/doc/Makefile b/doc/Makefile deleted file mode 100644 index 15808de6..00000000 --- a/doc/Makefile +++ /dev/null @@ -1,21 +0,0 @@ -DOC_VER := $(shell date +"%Y-%m-%d")-snap - -all: rust.pdf rust.html - -version.texi: Makefile rust.texi - git log -1 \ - --pretty=format:'@macro gitversion%n%h %ci%n@end macro%n' >$@ - -%.pdf: %.texi version.texi - texi2pdf $< - -%.html: %.texi version.texi - makeinfo --html --ifhtml --force --no-split --output=$@ $< - -snap: rust.pdf - mv $< rust-$(DOC_VER).pdf - -clean: - rm -f rust.aux rust.cp rust.fn rust.ky rust.log rust.pdf \ - rust.html rust.pg rust.toc rust.tp rust.vr rust.cps \ - version.texi |