diff options
Diffstat (limited to 'Master/doc.html')
-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 a671ebde27f..01c95029614 100644 --- a/Master/doc.html +++ b/Master/doc.html @@ -14662,6 +14662,10 @@ A general-purpose index processor. <li><b><a href="texmf-dist/doc/generic/xint">xint</a></b>:<small> Expandable operations on long numbers. +<a href="texmf-dist/doc/generic/xint/CHANGES.html">CHANGES.html</a>, +<a href="texmf-dist/doc/generic/xint/CHANGES.pdf">CHANGES.pdf</a>, +<a href="texmf-dist/doc/generic/xint/README.html">README.html</a>, +<a href="texmf-dist/doc/generic/xint/sourcexint.pdf">sourcexint.pdf</a>, <a href="texmf-dist/doc/generic/xint/xint.pdf">xint.pdf</a>. </small></li> |