diff options
Diffstat (limited to 'Master/texmf/texdoctk')
-rw-r--r-- | Master/texmf/texdoctk/texdoctk.dat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/texmf/texdoctk/texdoctk.dat b/Master/texmf/texdoctk/texdoctk.dat index d2f5b4fae54..0ddd511ec20 100644 --- a/Master/texmf/texdoctk/texdoctk.dat +++ b/Master/texmf/texdoctk/texdoctk.dat @@ -374,7 +374,7 @@ listings;Source code printing (listings);latex/listings/listings.pdf;fancyvrb, p mftinc;Pretty-print Metafont source code into a Tex file (mftinc);latex/mftinc/mftinc.pdf; @Auxiliary tools akletter;Comprehensive letter support (akletter);latex/akletter/lettereng.pdf; -progress;Create an overview of a documents' state (progress);latex/progress/progress.dvi; +progress;Create an overview of a documents' state (progress);latex/progress/progress.pdf; plain;Plain TeX code in LaTeX (plain);latex/carlisle/plain.sty;-2- pagesel;Select pages for output (pagesel);latex/oberdiek/pagesel.pdf;extract tokenizer;Split comma-separated list of strings into tokens (tokenizer);latex/tokenizer/tokenizer.pdf; |