diff options
| author | Nick Mathewson <nickm@torproject.org> | 2023-10-18 11:55:05 -0400 |
|---|---|---|
| committer | Nick Mathewson <nickm@torproject.org> | 2023-10-18 11:55:05 -0400 |
| commit | b720ce4208fcace13819dc32b665449416f5eae4 (patch) | |
| tree | 01a1db73319226a3f76b2aa6d6c9eef71a52b5b2 | |
| parent | f3a4e07d42f346ffae3340b020850d3712ad9926 (diff) | |
| download | torspec-b720ce4208fcace13819dc32b665449416f5eae4.tar.gz torspec-b720ce4208fcace13819dc32b665449416f5eae4.zip | |
Do not add a redirect file when an index file already exists.
| -rwxr-xr-x | bin/make_redirects.py | 3 | ||||
| -rw-r--r-- | mdbook/spec/book.toml | 9 |
2 files changed, 2 insertions, 10 deletions
diff --git a/bin/make_redirects.py b/bin/make_redirects.py index 3e677ee..99a5ea3 100755 --- a/bin/make_redirects.py +++ b/bin/make_redirects.py @@ -23,7 +23,8 @@ def book_redirects(rs, spec_dir): lines = [] for kwd, info in rs.items(): if os.path.isdir(os.path.join(spec_dir, kwd)): - source = kwd + "/index.html" + assert os.path.isfile(os.path.join(spec_dir, kwd, "index.md")) + continue elif any((os.path.isfile(os.path.join(spec_dir, kwd) + ext)) for ext in [".txt", ".md"]): continue else: diff --git a/mdbook/spec/book.toml b/mdbook/spec/book.toml index 5a5ca0e..bd9aa80 100644 --- a/mdbook/spec/book.toml +++ b/mdbook/spec/book.toml @@ -17,19 +17,10 @@ build-dir = "../../html" [output.html.redirect] # BEGIN AUTO-GENERATED REDIRECTS -"/bandwidth-file-spec/index.html" = "https://gitweb.torproject.org/torspec.git/tree/bandwidth-file-spec.txt" "/collector-protocol.html" = "https://gitweb.torproject.org/collector.git/tree/src/main/resources/docs/PROTOCOL" -"/control-spec/index.html" = "https://gitweb.torproject.org/torspec.git/tree/control-spec.txt" -"/dir-spec/index.html" = "https://gitweb.torproject.org/torspec.git/tree/dir-spec.txt" -"/padding-spec/index.html" = "https://gitweb.torproject.org/torspec.git/tree/padding-spec.txt" -"/path-spec/index.html" = "https://gitweb.torproject.org/torspec.git/tree/path-spec.txt" -"/pt-spec/index.html" = "https://gitweb.torproject.org/torspec.git/tree/pt-spec.txt" -"/rend-spec/index.html" = "https://gitweb.torproject.org/torspec.git/tree/rend-spec-v3.txt" "/rend-spec-v2.html" = "https://gitweb.torproject.org/torspec.git/tree/attic/rend-spec-v2.txt" "/rend-spec-v3.html" = "https://gitweb.torproject.org/torspec.git/tree/rend-spec-v3.txt" -"/srv-spec/index.html" = "https://gitweb.torproject.org/torspec.git/tree/srv-spec.txt" "/tor-fw-helper-spec.html" = "https://gitweb.torproject.org/torspec.git/tree/attic/tor-fw-helper-spec.txt" -"/tor-spec/index.html" = "https://gitweb.torproject.org/torspec.git/tree/tor-spec.txt" "/torbrowser-design.html" = "https://2019.www.torproject.org/projects/torbrowser/design/" "/tor-design.html" = "https://svn.torproject.org/svn/projects/design-paper/tor-design.pdf" "/walking-onions.html" = "https://github.com/nmathewson/walking-onions-wip/tree/master/specs" |