diff options
Diffstat (limited to 'www')
-rw-r--r-- | www/index.html.in | 3 | ||||
-rwxr-xr-x | www/upload | 2 |
2 files changed, 5 insertions, 0 deletions
diff --git a/www/index.html.in b/www/index.html.in index 71b3b380..da596004 100644 --- a/www/index.html.in +++ b/www/index.html.in @@ -166,6 +166,9 @@ and fix latency.</dd> <dt><a href="rtcmdecode.html">rtcmdecode.1</a></dt> <dd>The <code>rtcmdecode</code> RTCM104 decoder.</dd> +<dt><a href="gpsflash.html">gpsflash(1)</a></dt> +<dd>The <code>src</code> GPS firmware uploader..</dd> + <dt><a href="rtcm.html">rtcm.5</a></dt> <dd>The <code>rtcmdecode</code> RTCM104 decoder dump format.</dd> @@ -19,7 +19,9 @@ xmlto xhtml-nochunks ../gpsprof.xml xmlto xhtml-nochunks ../gpsfake.xml xmlto xhtml-nochunks ../sirfmon.xml xmlto xhtml-nochunks ../rtcmdecode.xml +xmlto xhtml-nochunks ../gpsflash.xml xmlto xhtml-nochunks ../rtcm.xml +xmlto xhtml-nochunks ../srec.xml xmlto xhtml-nochunks replacing-nmea.xml (cd performance; xmlto xhtml-nochunks performance.xml) # Doesn't upload PDFs or GIFs -- they aren't expected to change frequently |