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 06e546f4621..de2c2eb192d 100644 --- a/Master/doc.html +++ b/Master/doc.html @@ -6757,7 +6757,7 @@ Font containing web-related icons </small></li> <li><b><a href="texmf-dist/doc/fonts/fontawesome5">fontawesome5</a></b>:<small> -Font Awesome 5 with with LaTeX support +Font Awesome 5 with LaTeX support <a href="texmf-dist/doc/fonts/fontawesome5/fontawesome5.pdf">fontawesome5.pdf</a>. </small></li> |