From 679c59fbfb449f90bc9c9a7c4f9fac45c0d1b995 Mon Sep 17 00:00:00 2001 From: Nick Mathewson Date: Tue, 17 Oct 2023 10:09:56 -0400 Subject: Add begin/end markers to redirect list. --- mdbook/spec/book.toml | 3 +++ spec/README.md | 4 ++++ 2 files changed, 7 insertions(+) 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. + +
/address-spec
https://gitweb.torproject.org/torspec.git/tree/address-spec.txt (Special Hostnames in Tor) @@ -145,6 +147,8 @@ long-term permalinks.
+ + [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 -- cgit v1.2.3-54-g00ecf