summaryrefslogtreecommitdiff
path: root/Master/texmf/texdoctk/texdoctk.dat
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf/texdoctk/texdoctk.dat')
-rw-r--r--Master/texmf/texdoctk/texdoctk.dat2
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;