diff options
Diffstat (limited to 'Master/doc.html')
-rw-r--r-- | Master/doc.html | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Master/doc.html b/Master/doc.html index 9d67eb53c2f..d7927ab0f22 100644 --- a/Master/doc.html +++ b/Master/doc.html @@ -8900,7 +8900,6 @@ Old style numbers in OT1 encoding. <li><b><a href="texmf-dist/doc/man/man1">omegaware</a></b>:<small> <a href="texmf-dist/doc/man/man1/odvicopy.man1.pdf">odvicopy.man1.pdf</a>, -<a href="texmf-dist/doc/man/man1/odvips.man1.pdf">odvips.man1.pdf</a>, <a href="texmf-dist/doc/man/man1/odvitype.man1.pdf">odvitype.man1.pdf</a>, <a href="texmf-dist/doc/man/man1/ofm2opl.man1.pdf">ofm2opl.man1.pdf</a>, <a href="texmf-dist/doc/man/man1/opl2ofm.man1.pdf">opl2ofm.man1.pdf</a>, |