diff options
-rw-r--r-- | Master/doc.html | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Master/doc.html b/Master/doc.html index 6b2b8a9bdb2..a671ebde27f 100644 --- a/Master/doc.html +++ b/Master/doc.html @@ -13574,8 +13574,7 @@ Make a to-do list for a document. <li><b><a href="texmf-dist/doc/latex/todonotes">todonotes</a></b>:<small> Marking things to do in a LaTeX document. -<a href="texmf-dist/doc/latex/todonotes/todonotes.pdf">todonotes.pdf</a>, -<a href="texmf-dist/doc/latex/todonotes/todonotesexample.pdf">todonotesexample.pdf</a>. +<a href="texmf-dist/doc/latex/todonotes/todonotes.pdf">todonotes.pdf</a>. </small></li> <li><b><a href="texmf-dist/doc/latex/tokenizer">tokenizer</a></b>:<small> |