diff options
author | Karl Berry <karl@freefriends.org> | 2018-05-24 00:24:33 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-05-24 00:24:33 +0000 |
commit | d73f728b5ea3ef4a3a8fd60ba9a264bded6dd5ad (patch) | |
tree | f084efd55f1a6a1ed4a6842401717ca80400ac53 /Master/doc.html | |
parent | 84fa6844d9d3cb6117cddd269db470ae28f2f57c (diff) |
tl-update-auto
git-svn-id: svn://tug.org/texlive/trunk@47822 c570f23f-e606-0410-a88d-b1316a301751
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> |