diff options
Diffstat (limited to 'systems/doc/pdftex/manual/Makefile')
| -rw-r--r-- | systems/doc/pdftex/manual/Makefile | 5 |
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) |