diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-04-13 09:45:32 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-04-13 09:45:32 +0000 |
commit | 4f607d824e25cf0af5a7f0b37a2dcefcf04e762e (patch) | |
tree | 2fd84f7b52387e0a25a428006c287e2a6b90198b /Build/source/texk/chktex/Makefile.am | |
parent | 3dd6d706b239723e2876f36022e417cb120ad926 (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.am | 23 |
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@ |