diff options
author | Norbert Preining <norbert@preining.info> | 2019-11-03 03:01:01 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-11-03 03:01:01 +0000 |
commit | aa26106a9b77529d1eae806729d8076378ced64b (patch) | |
tree | c1a96609e17d84e6fc764caf3a52c65e7ed8c5eb /support/chklref/doc/Makefile.in | |
parent | 3479a92321ed7fe7e2133d3daec2d4f5fd53fbc6 (diff) |
CTAN sync 201911030301
Diffstat (limited to 'support/chklref/doc/Makefile.in')
-rw-r--r-- | support/chklref/doc/Makefile.in | 38 |
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 - - |