diff options
Diffstat (limited to 'Master/texmf-dist/source/platex/base/Makefile')
-rw-r--r-- | Master/texmf-dist/source/platex/base/Makefile | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/Master/texmf-dist/source/platex/base/Makefile b/Master/texmf-dist/source/platex/base/Makefile index fdabfd5d4f2..e89d976fca2 100644 --- a/Master/texmf-dist/source/platex/base/Makefile +++ b/Master/texmf-dist/source/platex/base/Makefile @@ -15,10 +15,10 @@ all: $(STRIPTARGET) $(PDFTARGET) PLFMT = platex.ltx plcore.ltx kinsoku.tex pldefs.ltx \ jy1mc.fd jy1gt.fd jt1mc.fd jt1gt.fd plext.sty \ - ptrace.sty pfltrace.sty + ptrace.sty pfltrace.sty plexpl3.sty plexpl3.ltx PLFMT_SRC = platex.dtx plvers.dtx plfonts.dtx plcore.dtx \ - kinsoku.dtx plext.dtx + kinsoku.dtx plext.dtx plexpl3.dtx PLCLS = jarticle.cls jreport.cls jbook.cls jsize10.clo \ jsize11.clo jsize12.clo jbk10.clo jbk11.clo jbk12.clo \ @@ -40,8 +40,7 @@ INTRODOC_SRC = platex.dtx PLRELDOC_SRC = platexrelease.dtx -PLDOC_SRC = platex.dtx plvers.dtx plfonts.dtx plcore.dtx plext.dtx \ - pl209.dtx kinsoku.dtx jclasses.dtx jltxdoc.dtx +PLDOC_SRC = $(PLFMT_SRC) $(PLCLS_SRC) $(PL209_SRC) jltxdoc.dtx platex.ltx: $(PLFMT_SRC) rm -f $(PLFMT) |