diff options
| -rw-r--r-- | Master/doc.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/doc.html b/Master/doc.html index 83abe70e894..434eeb4e812 100644 --- a/Master/doc.html +++ b/Master/doc.html @@ -5142,6 +5142,7 @@ Convert "ghostscript fonts" to PK files. </small></li> <li><b><a href="texmf-dist/doc/latex/gtl">gtl</a></b>:<small> +Manipulating generalized token lists. <a href="texmf-dist/doc/latex/gtl/gtl.pdf">gtl.pdf</a>. </small></li> @@ -12920,6 +12921,7 @@ Typesetting units in LaTeX. </small></li> <li><b><a href="texmf-dist/doc/latex/unravel">unravel</a></b>:<small> +Watching TeX digest tokens. <a href="texmf-dist/doc/latex/unravel/unravel.pdf">unravel.pdf</a>. </small></li> |