diff options
-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 18e18b8fa2c..389fa8bb9dd 100644 --- a/Master/doc.html +++ b/Master/doc.html @@ -5274,7 +5274,7 @@ Find the date of last modification of a file. </small></li> <li><b><a href="texmf-dist/doc/latex/getmap">getmap</a></b>:<small> -Download OpenStreetMap maps for +Download OpenStreetMap maps for use in documents. <a href="texmf-dist/doc/latex/getmap/getmap.pdf">getmap.pdf</a>. </small></li> |