summaryrefslogtreecommitdiff
path: root/support/chklref/doc/Makefile.in
diff options
context:
space:
mode:
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
-
-