diff options
-rw-r--r-- | Master/doc.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/doc.html b/Master/doc.html index bd7879eef19..27c428d84a9 100644 --- a/Master/doc.html +++ b/Master/doc.html @@ -8270,7 +8270,7 @@ Disk of Phaistos font. <li><b><a href="texmf-dist/doc/latex/philex">philex</a></b>:<small> Cross references for named and numbered environments. -<a href="texmf-dist/doc/latex/philex/philexmanualb.pdf">philexmanualb.pdf</a>. +<a href="texmf-dist/doc/latex/philex/philexmanual.pdf">philexmanual.pdf</a>. </small></li> <li><b><a href="texmf-dist/doc/xelatex/philokalia">philokalia</a></b>:<small> |