diff options
-rw-r--r-- | docs/update-nav.sed | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/docs/update-nav.sed b/docs/update-nav.sed new file mode 100644 index 00000000..dd4519bd --- /dev/null +++ b/docs/update-nav.sed @@ -0,0 +1,8 @@ +/<nav>/,/<\/nav>/{/<a href/d} +/<nav>/a\ +<a href="http://mupdf.com/index.html">About</a>\ +<a href="http://mupdf.com/news.html">News</a>\ +<a href="index.html">Documentation</a>\ +<a href="http://mupdf.com/downloads/">Downloads</a>\ +<a href="http://git.ghostscript.com/?p=mupdf.git;a=summary">Source</a>\ +<a href="https://bugs.ghostscript.com/">Bugs</a> |