Initial commit

1 files changed, 38 insertions, 0 deletions

diff --git a/support/chklref/doc/Makefile.in b/support/chklref/doc/Makefile.in
new file mode 100644
index 0000000000..4d99942c57
--- /dev/null
+++ b/support/chklref/doc/Makefile.in
@@ -0,0 +1,38 @@
+.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
+
+