diff options
author | Karl Berry <karl@freefriends.org> | 2008-03-08 18:06:30 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-03-08 18:06:30 +0000 |
commit | 132f53d5218f4954e5125d244164af462b41b472 (patch) | |
tree | da4bf4ce7f773f00ba6d6ad310c130a926f27fce /Build/source/texk/tetex/Makefile.in | |
parent | e47d98537d9aa784fc80753258238a8fb99a369b (diff) |
symlink texdoctk
git-svn-id: svn://tug.org/texlive/trunk@6894 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/tetex/Makefile.in')
-rw-r--r-- | Build/source/texk/tetex/Makefile.in | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Build/source/texk/tetex/Makefile.in b/Build/source/texk/tetex/Makefile.in index 81ed0bdcec2..37526bd5659 100644 --- a/Build/source/texk/tetex/Makefile.in +++ b/Build/source/texk/tetex/Makefile.in @@ -11,11 +11,12 @@ man5dir = $(mandir)/man5 SCRIPTS = \ allcm allneeded dvi2fax dvired fmtutil fmtutil-sys fontinst \ kpsetool kpsewhere ps2frag ps4pdf pslatex rubibtex rumakeindex \ - texconfig texconfig-dialog texconfig-sys texdoc texdoctk \ + texconfig texconfig-dialog texconfig-sys texdoc \ texlinks thumbpdf updmap updmap-sys -# .pl and in texmf -LINKEDPLSCRIPTS = a2ping e2pall epstopdf pdfcrop pkfix ps2eps +# .pl and in texmf; the scripts do not exist here at all, the instances +# in texmf are the masters. +LINKEDPLSCRIPTS = a2ping e2pall epstopdf pdfcrop pkfix ps2eps texdoctk # # no extension and in texmf-dist. # (need to create a config file or something, ick.) |