summaryrefslogtreecommitdiff
path: root/support/chklref/doc/Makefile.in
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-11-03 03:01:01 +0000
committerNorbert Preining <norbert@preining.info>2019-11-03 03:01:01 +0000
commitaa26106a9b77529d1eae806729d8076378ced64b (patch)
treec1a96609e17d84e6fc764caf3a52c65e7ed8c5eb /support/chklref/doc/Makefile.in
parent3479a92321ed7fe7e2133d3daec2d4f5fd53fbc6 (diff)
CTAN sync 201911030301
Diffstat (limited to 'support/chklref/doc/Makefile.in')
-rw-r--r--support/chklref/doc/Makefile.in38
1 files changed, 0 insertions, 38 deletions
diff --git a/support/chklref/doc/Makefile.in b/support/chklref/doc/Makefile.in
deleted file mode 100644
index 4d99942c57..0000000000
--- a/support/chklref/doc/Makefile.in
+++ /dev/null
@@ -1,38 +0,0 @@
-.PHONY: all clean distclean install uninstall
-
-include ../Make.incl
-
-DOCFILES=chklref.pdf
-VERSION_NUMBER=$(shell cat ../VERSION)
-
-
-all: chklref.pdf clean
-
-install: all
- if ! test -d $(DESTDIR)$(DOCDIR); then $(INSTALL) -d $(DESTDIR)$(DOCDIR); fi
- $(INSTALL) -m 644 $(DOCFILES) $(DESTDIR)$(DOCDIR)
-
-
-define chk_rm
-@for f in $(2); do echo "uninstalling $(1)/$$f"; $(RM) $(1)/$$f; done
-endef
-
-uninstall:
- $(call chk_rm, $(DOCDIR), $(DESTDIR)$(DOCFILES))
-
-
-chklref.pdf: VERSION.tex chklref.tex
- $(PDFLATEX) chklref.tex
- $(PDFLATEX) chklref.tex
-
-VERSION.tex: ../VERSION
- echo "\\def\\\chkVERSION{$(VERSION_NUMBER)}" > VERSION.tex
-
-
-clean:
- $(RM) chklref.dvi chklref.log chklref.aux chklref.out
-
-distclean: clean
- $(RM) chklref.pdf
-
-