summaryrefslogtreecommitdiff
path: root/systems/doc/pdftex/manual/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'systems/doc/pdftex/manual/Makefile')
-rw-r--r--systems/doc/pdftex/manual/Makefile5
1 files changed, 2 insertions, 3 deletions
diff --git a/systems/doc/pdftex/manual/Makefile b/systems/doc/pdftex/manual/Makefile
index c92a5de879..7b96d07e7f 100644
--- a/systems/doc/pdftex/manual/Makefile
+++ b/systems/doc/pdftex/manual/Makefile
@@ -1,4 +1,4 @@
-# $Id: Makefile 917 2024-01-08 23:22:17Z karl $
+# $Id: Makefile 923 2024-02-20 18:48:39Z karl $
# GNU makefile for pdfTeX documentation. Public domain.
texfot = texfot
@@ -83,8 +83,7 @@ INSTALL_DATA = cp -p
install:
$(INSTALL_DATA) ChangeLog Makefile README $(dest)
- $(INSTALL_DATA) pdftex-a.pdf $(dest)
- $(INSTALL_DATA) pdftex.tex pdftexmanual.cls $(dest)
+ $(INSTALL_DATA) pdftex-a.pdf pdftex.tex pdftexmanual.cls $(dest)
$(INSTALL_DATA) incl/*.txt incl/*.tex incl/pdfmin-crop.pdf $(dest)/incl
$(INSTALL_DATA) syntaxform.pl $(dest)