summaryrefslogtreecommitdiff
path: root/Build/source/texk/texdoctk
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/texdoctk')
-rw-r--r--Build/source/texk/texdoctk/Makefile.in32
1 files changed, 32 insertions, 0 deletions
diff --git a/Build/source/texk/texdoctk/Makefile.in b/Build/source/texk/texdoctk/Makefile.in
new file mode 100644
index 00000000000..78536a0a931
--- /dev/null
+++ b/Build/source/texk/texdoctk/Makefile.in
@@ -0,0 +1,32 @@
+# Makefile for texlive's extra scripts
+# Public domain.
+
+ac_include ../make/paths.mk
+ac_include ../make/common.mk
+ac_include ../make/programs.mk
+
+all: texdoctk
+default: all
+
+install: install-data install-exec
+
+# Auxiliary files.
+install-data::
+
+install-exec:
+ -$(SHELL) $(srcdir)/../mkinstalldirs $(scriptdir)
+ for s in texdoctk; do \
+ rm -f $(scriptdir)/$$s ; \
+ $(INSTALL_SCRIPT) $(srcdir)/$$s $(scriptdir)/$$s; \
+ done
+
+ac_include ../make/clean.mk
+
+config.status: $(srcdir)/configure
+ $(SHELL) $(srcdir)/configure --no-create --verbose
+
+Makefile: $(srcdir)/Makefile.in config.status
+ $(SHELL) config.status
+
+check:
+