diff options
| author | Nick Mathewson <nickm@torproject.org> | 2023-10-17 10:09:56 -0400 |
|---|---|---|
| committer | Nick Mathewson <nickm@torproject.org> | 2023-10-17 10:09:56 -0400 |
| commit | 679c59fbfb449f90bc9c9a7c4f9fac45c0d1b995 (patch) | |
| tree | 93e3ffb708c48924dd4b419f57d2536ff2467671 | |
| parent | 17b6fb9165bdc4727e048589e9cca4982d74b6a1 (diff) | |
| download | torspec-679c59fbfb449f90bc9c9a7c4f9fac45c0d1b995.tar.gz torspec-679c59fbfb449f90bc9c9a7c4f9fac45c0d1b995.zip | |
Add begin/end markers to redirect list.
| -rw-r--r-- | mdbook/spec/book.toml | 3 | ||||
| -rw-r--r-- | spec/README.md | 4 |
2 files changed, 7 insertions, 0 deletions
diff --git a/mdbook/spec/book.toml b/mdbook/spec/book.toml index 5fe0370..ee858a8 100644 --- a/mdbook/spec/book.toml +++ b/mdbook/spec/book.toml @@ -15,6 +15,8 @@ build-dir = "../../html" # additional-js = ["theme/pagetoc.js"] [output.html.redirect] + +# BEGIN AUTO-GENERATED REDIRECTS "/address-spec" = "https://gitweb.torproject.org/torspec.git/tree/address-spec.txt" "/bandwidth-file-spec/index.html" = "https://gitweb.torproject.org/torspec.git/tree/bandwidth-file-spec.txt" "/bridgedb-spec" = "https://gitweb.torproject.org/torspec.git/tree/bridgedb-spec.txt" @@ -39,3 +41,4 @@ build-dir = "../../html" "/version-spec" = "https://gitweb.torproject.org/torspec.git/tree/version-spec.txt" "/tor-design" = "https://svn.torproject.org/svn/projects/design-paper/tor-design.pdf" "/walking-onions" = "https://github.com/nmathewson/walking-onions-wip/tree/master/specs" +# END AUTO-GENERATED REDIRECTS diff --git a/spec/README.md b/spec/README.md index 5a4db3c..1aff087 100644 --- a/spec/README.md +++ b/spec/README.md @@ -93,6 +93,8 @@ long-term permalinks. > TODO: I'd like to revise these to point somewhere sensible again. > The `gitweb.torproject.org` site is currently deprecated. +<!-- BEGIN AUTO-GENERATED REDIRECTS --> + <dl> <dt><a href="/address-spec"><code>/address-spec</code></a></dt> <dd><a href="https://gitweb.torproject.org/torspec.git/tree/address-spec.txt"><code>https://gitweb.torproject.org/torspec.git/tree/address-spec.txt</code> (Special Hostnames in Tor)</a></dt> @@ -145,6 +147,8 @@ long-term permalinks. </dl> +<!-- END AUTO-GENERATED REDIRECTS --> + [git repository]: https://gitlab.torproject.org/tpo/core/torspec/ [heading ids]: https://github.com/raphlinus/pulldown-cmark/blob/master/specs/heading_attrs.txt [mdbook documentation]: https://rust-lang.github.io/mdBook/format/summary.html |