diff options
Diffstat (limited to 'Master/doc.html')
-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 710cb6e7c12..d82c2039a1d 100644 --- a/Master/doc.html +++ b/Master/doc.html @@ -9535,7 +9535,7 @@ The Libertinus font family </small></li> <li><b><a href="texmf-dist/doc/latex/libertinus-otf">libertinus-otf</a></b>:<small> -Supporting Libertinus OpenType +Support for Libertinus OpenType <a href="texmf-dist/doc/latex/libertinus-otf/libertinus-otf-doc.pdf">libertinus-otf-doc.pdf</a>. </small></li> |