diff options
| -rw-r--r-- | Master/doc.html | 1 |
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> |