diff options
Diffstat (limited to 'Master')
-rw-r--r-- | Master/doc.html | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Master/doc.html b/Master/doc.html index 7e47f7ac8cf..967f3209881 100644 --- a/Master/doc.html +++ b/Master/doc.html @@ -3675,6 +3675,10 @@ directories), sorted by package name. <a href="texmf-dist/doc/latex/pict2e/pict2e.pdf">pict2e.pdf</a> </small> +<li><b><a href="texmf-dist/doc/latex/pigpen">latex/pigpen</a>:</b><small> + <a href="texmf-dist/doc/latex/pigpen/pigpendoc.pdf">pigpendoc.pdf</a> + </small> + <li><b><a href="texmf-dist/doc/latex/pinlabel">latex/pinlabel</a>:</b><small> <a href="texmf-dist/doc/latex/pinlabel/pinlabdoc.pdf">pinlabdoc.pdf</a> </small> |