summaryrefslogtreecommitdiff
path: root/Build/source/texk/chktex/Makefile.am
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2015-04-13 09:45:32 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2015-04-13 09:45:32 +0000
commit4f607d824e25cf0af5a7f0b37a2dcefcf04e762e (patch)
tree2fd84f7b52387e0a25a428006c287e2a6b90198b /Build/source/texk/chktex/Makefile.am
parent3dd6d706b239723e2876f36022e417cb120ad926 (diff)
texk/chktex: Update ChkTeX.pdf
git-svn-id: svn://tug.org/texlive/trunk@36827 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/chktex/Makefile.am')
-rw-r--r--Build/source/texk/chktex/Makefile.am23
1 files changed, 20 insertions, 3 deletions
diff --git a/Build/source/texk/chktex/Makefile.am b/Build/source/texk/chktex/Makefile.am
index 58bd7512490..0698b5e562c 100644
--- a/Build/source/texk/chktex/Makefile.am
+++ b/Build/source/texk/chktex/Makefile.am
@@ -92,9 +92,26 @@ config_DATA = $(CHKTEX_TREE)/chktexrc
# documentation
pdfdocdir = $(datarootdir)/texmf-dist/doc/chktex
-dist_pdfdoc_DATA = ChkTeX.pdf
-
-CLEANFILES = $(nodist_bin_SCRIPTS)
+pdfdoc_DATA = ChkTeX.pdf
+
+if MAINTAINER_MODE
+ChkTeX.pdf: ChkTeX.tex
+ $(LATEX) ChkTeX.tex
+ $(DVIPS) -o ChkTeX.ps ChkTeX.dvi
+ $(PS2PDF) ChkTeX.ps $@
+ChkTeX.tex: stamp-ChkTeX
+stamp-ChkTeX: ChkTeX.t
+ @if cmp -s $(srcdir)/ChkTeX.tex ChkTeX.t 2>/dev/null; then \
+ echo "ChkTeX.tex is unchanged"; \
+ else \
+ echo "cp ChkTeX.t ChkTeX.tex"; \
+ cp ChkTeX.t ChkTeX.tex; \
+ fi
+ date >$@
+endif MAINTAINER_MODE
+
+EXTRA_DIST += ChkTeX.pdf ChkTeX.tex
+CLEANFILES = $(nodist_bin_SCRIPTS) ChkTeX.aux ChkTeX.dvi ChkTeX.log ChkTeX.ps stamp-ChkTeX
## Rebuild libkpathsea
@KPATHSEA_RULE@