summaryrefslogtreecommitdiff
path: root/Master/doc.html
diff options
context:
space:
mode:
Diffstat (limited to 'Master/doc.html')
-rw-r--r--Master/doc.html2
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>