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 0fcfc8cc131..efa2c27a136 100644 --- a/Master/doc.html +++ b/Master/doc.html @@ -3521,6 +3521,8 @@ directories), sorted by package name. </small> <li><b><a href="texmf-dist/doc/latex/nicetext">latex/nicetext</a>:</b><small> + <a href="texmf-dist/doc/latex/nicetext/fifinddo.pdf">fifinddo.pdf</a> + <a href="texmf-dist/doc/latex/nicetext/makedoc.pdf">makedoc.pdf</a> <a href="texmf-dist/doc/latex/nicetext/niceverb.pdf">niceverb.pdf</a> <a href="texmf-dist/doc/latex/nicetext/wikicheat.pdf">wikicheat.pdf</a> </small> |