diff options
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@ |