diff options
| author | Tor Andersson <tor.andersson@artifex.com> | 2017-10-24 13:58:24 +0200 |
|---|---|---|
| committer | Tor Andersson <tor.andersson@artifex.com> | 2017-11-13 17:05:17 +0100 |
| commit | f2228001ed04923715e116979c7d1b1dc2224075 (patch) | |
| tree | fcfd1a082191cf21ae5fb12462c5f57fa1948295 /docs | |
| parent | 0b7754a4c353913d0b181376dd25b9c2a9edd303 (diff) | |
| download | mupdf-f2228001ed04923715e116979c7d1b1dc2224075.tar.xz | |
Add sed script to update <nav> sections.
Diffstat (limited to 'docs')
| -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> |