Merge pull request #107 from ghutchis/build-redirect

Add a redirect for install/build => develop/build
Avogadro · Nov 11, 2024 · 88d28e8 · 88d28e8
2 parents 4f4b0c3 + 6ea287d
commit 88d28e8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/source/redirects.txt b/source/redirects.txt
@@ -1 +1,2 @@
 'api/index.rst' 'develop/index.md'
+'install/build.md' 'develop/build.md'