summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Master/doc.html1
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/doc.html b/Master/doc.html
index ba199920f4d..29cee3e9052 100644
--- a/Master/doc.html
+++ b/Master/doc.html
@@ -241,6 +241,7 @@ Add several kinds of guillemets to the ae fonts
</small></li>
<li><b><a href="texmf-dist/doc/man/man1">afm2pl</a></b>:<small>
+convert AFM to TeX property list (.pl) metrics
<a href="texmf-dist/doc/man/man1/afm2pl.man1.pdf">afm2pl.man1.pdf</a>.
</small></li>