01/07: nginx: berlin: Add redirects inherited from gnu.org/s/guix.

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository maintenance.

commit f02ef39af21374c792c8789fab96c36ef237dfb8
Author: Ludovic Courtès <address@hidden>
Date:   Fri Jul 5 10:52:45 2019 +0200

    nginx: berlin: Add redirects inherited from gnu.org/s/guix.
    
    * hydra/nginx/berlin.scm (redirect): New procedure.
    (berlin-locations): Add many calls to 'redirect'.
---
 hydra/nginx/berlin.scm | 238 ++++++++++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 237 insertions(+), 1 deletion(-)

diff --git a/hydra/nginx/berlin.scm b/hydra/nginx/berlin.scm
index 0f154cf..93a22e1 100644
--- a/hydra/nginx/berlin.scm
+++ b/hydra/nginx/berlin.scm
@@ -22,6 +22,11 @@
                  (if privkey "privkey" "fullchain")
                  ".pem"))
 
+(define (redirect old new)
+  (nginx-location-configuration
+   (uri old)
+   (body (list (string-append "return 301 " new ";\n")))))
+
 (define (publish-locations url)
   "Return the nginx location blocks for 'guix publish' running on URL."
   (list (nginx-location-configuration
@@ -188,7 +193,238 @@ PUBLISH-URL."
            ;; For use by Certbot.
            (nginx-location-configuration
             (uri "/.well-known")
-            (body (list "root /var/www;"))))))
+            (body (list "root /var/www;")))
+
+           ;; What follows is a list of redirects for URLs that used to be
+           ;; available at gnu.org/s/guix--e.g.,
+           ;; <http://gnu.org/s/guix/news/porting-guix-and-guixsd.html>.
+           (redirect "news/porting-guix-and-guixsd.html" 
"/blog/2015/porting-guix-and-guixsd")
+           (redirect "news/gnu-guix-welcomes-three-students-for-gsoc.html" 
"/blog/2015/gnu-guix-welcomes-three-students-for-gsoc")
+           (redirect "news/gnu-guix-recruits-for-gsoc.html" 
"/blog/2015/gnu-guix-recruits-for-gsoc")
+           (redirect "news/one-week-to-fosdem.html" 
"/blog/2014/one-week-to-fosdem")
+           (redirect "news/gnu-dmd-02-released.html" 
"/blog/2014/gnu-dmd-02-released")
+           (redirect "news/emacs-as-a-general-purpose-package-manager.html" 
"/blog/2014/emacs-as-a-general-purpose-package-manager")
+           (redirect "news/join-gnu-guix-for-gsoc-2017.html" 
"/blog/2017/join-gnu-guix-for-gsoc-2017")
+           (redirect "news/gnu-guix-05-released.html" 
"/blog/2013/gnu-guix-05-released")
+           (redirect "news/guix-at-the-2014-gnu-hackers-meeting.html" 
"/blog/2014/guix-at-the-2014-gnu-hackers-meeting")
+           (redirect "news/state-of-aarch64-on-guix.html" 
"/blog/2017/state-of-aarch64-on-guix")
+           (redirect "news/coming-events.html" "/blog/2017/coming-events")
+           (redirect "news/gnu-dmd-01-released.html" 
"/blog/2013/gnu-dmd-01-released")
+           (redirect "news/announcing-guix-hpc.html" 
"/blog/2017/announcing-guix-hpc")
+           (redirect "news/gnu-guix-looks-for-gsoc-students.html" 
"/blog/2014/gnu-guix-looks-for-gsoc-students")
+           (redirect "news/guix-at-the-european-lisp-symposium.html" 
"/blog/2013/guix-at-the-european-lisp-symposium")
+           (redirect "news/gnu-guix-08-released.html" 
"/blog/2014/gnu-guix-08-released")
+           (redirect "news/gnu-guix-090-released.html" 
"/blog/2015/gnu-guix-090-released")
+           (redirect "news/index.html" "/blog/")
+           (redirect "news/gnu-guix-welcomes-four-students-for-gsoc.html" 
"/blog/2016/gnu-guix-welcomes-four-students-for-gsoc")
+           (redirect "news/gnu-guix-081-released.html" 
"/blog/2015/gnu-guix-081-released")
+           (redirect "news/timely-delivery-of-security-updates.html" 
"/blog/2016/timely-delivery-of-security-updates")
+           (redirect "news/guix-at-openbio-codefest-2014.html" 
"/blog/2014/guix-at-openbio-codefest-2014")
+           (redirect 
"news/gnu-guix-talk-in-boston-ma-usa-on-january-20th.html" 
"/blog/2016/gnu-guix-talk-in-boston-ma-usa-on-january-20th")
+           (redirect "news/gnu-guix-at-fosdem.html" 
"/blog/2015/gnu-guix-at-fosdem")
+           (redirect "news/gnu-guix-082-released.html" 
"/blog/2015/gnu-guix-082-released")
+           (redirect 
"news/chris-webber-talks-about-guix-in-chicago-september-30th.html" 
"/blog/2015/chris-webber-talks-about-guix-in-chicago-september-30th")
+           (redirect "news/back-from-the-gnu-hackers-meeting.html" 
"/blog/2013/back-from-the-gnu-hackers-meeting")
+           (redirect "news/reproducible-build-summit-2nd-edition.html" 
"/blog/2016/reproducible-build-summit-2nd-edition")
+           (redirect "news/gnu-guix-talk-in-rennes-france-november-9th.html" 
"/blog/2015/gnu-guix-talk-in-rennes-france-november-9th")
+           (redirect "news/gnu-guix-01-released.html" 
"/blog/2013/gnu-guix-01-released")
+           (redirect "news/guix-tox-talk-at-pyconfr-october-17th.html" 
"/blog/2015/guix-tox-talk-at-pyconfr-october-17th")
+           (redirect "news/gnu-guix-and-guixsd-0.13.0-released.html" 
"/blog/2017/gnu-guix-and-guixsd-0.13.0-released")
+           (redirect "news/guix-gets-cross-compilation-support.html" 
"/blog/2013/guix-gets-cross-compilation-support")
+           (redirect "news/gnu-guix-06-released.html" 
"/blog/2014/gnu-guix-06-released")
+           (redirect "news/meet-guix-at-fosdem.html" 
"/blog/2016/meet-guix-at-fosdem")
+           (redirect 
"news/reproducible-and-user-controlled-software-environments-in-hpc-with-guix.html"
 
"/blog/2015/reproducible-and-user-controlled-software-environments-in-hpc-with-guix")
+           (redirect "news/container-provisioning-with-guix.html" 
"/blog/2015/container-provisioning-with-guix")
+           (redirect "news/guixsd-system-tests.html" 
"/blog/2016/guixsd-system-tests")
+           (redirect "news/gnu-guix--guixsd-0100-released.html" 
"/blog/2016/gnu-guix--guixsd-0100-released")
+           (redirect "news/gnu-guix-and-guixsd-0110-released.html" 
"/blog/2016/gnu-guix-and-guixsd-0110-released")
+           (redirect "news/boot-to-guile.html" "/blog/2013/boot-to-guile")
+           (redirect 
"news/gnu-guix-talk-at-opentechsummit-berlin-may-14th.html" 
"/blog/2015/gnu-guix-talk-at-opentechsummit-berlin-may-14th")
+           (redirect "news/running-system-services-in-containers.html" 
"/blog/2017/running-system-services-in-containers")
+           (redirect "news/growing-our-build-farm.html" 
"/blog/2016/growing-our-build-farm")
+           (redirect 
"news/distro-of-the-linux-based-gnu-system-ported-to-mips.html" 
"/blog/2013/distro-of-the-linux-based-gnu-system-ported-to-mips")
+           (redirect "news/guix-at-libreplanet-2016.html" 
"/blog/2016/guix-at-libreplanet-2016")
+           (redirect "news/guix--gsoc.html" "/blog/2013/guix--gsoc")
+           (redirect "news/service-composition-in-guixsd.html" 
"/blog/2015/service-composition-in-guixsd")
+           (redirect "news/creating-bundles-with-guix-pack.html" 
"/blog/2017/creating-bundles-with-guix-pack")
+           (redirect "news/back-from-the-european-lisp-symposium.html" 
"/blog/2013/back-from-the-european-lisp-symposium")
+           (redirect "news/gnu-guix-04-released-happy-birthday-gnu.html" 
"/blog/2013/gnu-guix-04-released-happy-birthday-gnu")
+           (redirect "news/reproducible-builds-a-status-update.html" 
"/blog/2017/reproducible-builds-a-status-update")
+           (redirect "news/gnu-guix-083-released.html" 
"/blog/2015/gnu-guix-083-released")
+           (redirect "news/join-gnu-guix-for-gsoc.html" 
"/blog/2016/join-gnu-guix-for-gsoc")
+           (redirect "news/gnu-guix-and-guixsd-0120-released.html" 
"/blog/2016/gnu-guix-and-guixsd-0120-released")
+           (redirect "news/meet-guix-at-fosdem-2017.html" 
"/blog/2017/meet-guix-at-fosdem-2017")
+           (redirect 
"news/join-guix-for-an-on-line-hackathon-on-sep-28-29.html" 
"/blog/2013/join-guix-for-an-on-line-hackathon-on-sep-28-29")
+           (redirect "news/gnome-in-guixsd.html" "/blog/2016/gnome-in-guixsd")
+           (redirect 
"news/introducing-guix-a-package-manager-and-distro-for-gnu.html" 
"/blog/2012/introducing-guix-a-package-manager-and-distro-for-gnu")
+           (redirect "news/gnu-guix-03-released.html" 
"/blog/2013/gnu-guix-03-released")
+           (redirect "news/gnu-guix-07-released.html" 
"/blog/2014/gnu-guix-07-released")
+           (redirect "news/gsoc-update.html" "/blog/2015/gsoc-update")
+           (redirect "news/gnu-guix-02-released.html" 
"/blog/2013/gnu-guix-02-released")
+           (redirect 
"news/guix-starts-fundraising-campaign-with-support-from-the-fsf.html" 
"/blog/2015/guix-starts-fundraising-campaign-with-support-from-the-fsf")
+           (redirect 
"news/gnu-guix-ported-to-arm-and-other-niceties-of-the-new-year.html" 
"/blog/2015/gnu-guix-ported-to-arm-and-other-niceties-of-the-new-year")
+           (redirect "news/reproducible-builds-a-means-to-an-end.html" 
"/blog/2015/reproducible-builds-a-means-to-an-end")
+           (redirect "manual/html_node/Substitutes.html" 
"../en/html_node/Substitutes.html")
+           (redirect "manual/html_node/GNU-Free-Documentation-License.html" 
"../en/html_node/GNU-Free-Documentation-License.html")
+           (redirect "manual/html_node/The-Store-Monad.html" 
"../en/html_node/The-Store-Monad.html")
+           (redirect 
"manual/html_node/Running-Guix-Before-It-Is-Installed.html" 
"../en/html_node/Running-Guix-Before-It-Is-Installed.html")
+           (redirect "manual/html_node/rngd_002dservice.html" 
"../en/html_node/rngd_002dservice.html")
+           (redirect "manual/html_node/Data-Types-and-Pattern-Matching.html" 
"../en/html_node/Data-Types-and-Pattern-Matching.html")
+           (redirect "manual/html_node/Version-Numbers.html" 
"../en/html_node/Version-Numbers.html")
+           (redirect "manual/html_node/The-Perfect-Setup.html" 
"../en/html_node/The-Perfect-Setup.html")
+           (redirect "manual/html_node/G_002dExpressions.html" 
"../en/html_node/G_002dExpressions.html")
+           (redirect "manual/html_node/Programming-Paradigm.html" 
"../en/html_node/Programming-Paradigm.html")
+           (redirect "manual/html_node/Installing-GuixSD-in-a-VM.html" 
"../en/html_node/Installing-GuixSD-in-a-VM.html")
+           (redirect "manual/html_node/syslog_002dconfiguration_002dtype.html" 
"../en/html_node/syslog_002dconfiguration_002dtype.html")
+           (redirect "manual/html_node/Running-the-Test-Suite.html" 
"../en/html_node/Running-the-Test-Suite.html")
+           (redirect "manual/html_node/Coding-Style.html" 
"../en/html_node/Coding-Style.html")
+           (redirect "manual/html_node/Version-Control-Services.html" 
"../en/html_node/Version-Control-Services.html")
+           (redirect "manual/html_node/client_002dsubstitute_002durls.html" 
"../en/html_node/client_002dsubstitute_002durls.html")
+           (redirect "manual/html_node/Database-Services.html" 
"../en/html_node/Database-Services.html")
+           (redirect "manual/html_node/Invoking-guix-download.html" 
"../en/html_node/Invoking-guix-download.html")
+           (redirect "manual/html_node/Documentation.html" 
"../en/html_node/Documentation.html")
+           (redirect "manual/html_node/Package-Naming.html" 
"../en/html_node/Package-Naming.html")
+           (redirect "manual/html_node/Invoking-guix-hash.html" 
"../en/html_node/Invoking-guix-hash.html")
+           (redirect "manual/html_node/Audio-Services.html" 
"../en/html_node/Audio-Services.html")
+           (redirect "manual/html_node/Mapped-Devices.html" 
"../en/html_node/Mapped-Devices.html")
+           (redirect "manual/html_node/operating_002dsystem-Reference.html" 
"../en/html_node/operating_002dsystem-Reference.html")
+           (redirect "manual/html_node/Security-Updates.html" 
"../en/html_node/Security-Updates.html")
+           (redirect "manual/html_node/Java-Packages.html" 
"../en/html_node/Java-Packages.html")
+           (redirect "manual/html_node/user_002daccount_002dpassword.html" 
"../en/html_node/user_002daccount_002dpassword.html")
+           (redirect "manual/html_node/System-Installation.html" 
"../en/html_node/System-Installation.html")
+           (redirect "manual/html_node/Installation.html" 
"../en/html_node/Installation.html")
+           (redirect "manual/html_node/Modules.html" 
"../en/html_node/Modules.html")
+           (redirect "manual/html_node/File-Systems.html" 
"../en/html_node/File-Systems.html")
+           (redirect "manual/html_node/Invoking-guix-gc.html" 
"../en/html_node/Invoking-guix-gc.html")
+           (redirect "manual/html_node/package_002dpropagated_002dinputs.html" 
"../en/html_node/package_002dpropagated_002dinputs.html")
+           (redirect "manual/html_node/Invoking-guix-lint.html" 
"../en/html_node/Invoking-guix-lint.html")
+           (redirect "manual/html_node/Invoking-guix-pull.html" 
"../en/html_node/Invoking-guix-pull.html")
+           (redirect "manual/html_node/Invoking-guix_002ddaemon.html" 
"../en/html_node/Invoking-guix_002ddaemon.html")
+           (redirect "manual/html_node/Locales.html" 
"../en/html_node/Locales.html")
+           (redirect "manual/html_node/Using-the-Configuration-System.html" 
"../en/html_node/Using-the-Configuration-System.html")
+           (redirect "manual/html_node/X_002e509-Certificates.html" 
"../en/html_node/X_002e509-Certificates.html")
+           (redirect "manual/html_node/guix_002dconfiguration_002dtype.html" 
"../en/html_node/guix_002dconfiguration_002dtype.html")
+           (redirect "manual/html_node/USB-Stick-and-DVD-Installation.html" 
"../en/html_node/USB-Stick-and-DVD-Installation.html")
+           (redirect "manual/html_node/Software-Freedom.html" 
"../en/html_node/Software-Freedom.html")
+           (redirect "manual/html_node/Building-the-Installation-Image.html" 
"../en/html_node/Building-the-Installation-Image.html")
+           (redirect "manual/html_node/Running-GuixSD-in-a-VM.html" 
"../en/html_node/Running-GuixSD-in-a-VM.html")
+           (redirect "manual/html_node/Debugging-Build-Failures.html" 
"../en/html_node/Debugging-Build-Failures.html")
+           (redirect "manual/html_node/daemon_002dsubstitute_002durls.html" 
"../en/html_node/daemon_002dsubstitute_002durls.html")
+           (redirect "manual/html_node/Virtualization-Services.html" 
"../en/html_node/Virtualization-Services.html")
+           (redirect "manual/html_node/Fonts.html" 
"../en/html_node/Fonts.html")
+           (redirect "manual/html_node/Monitoring-Services.html" 
"../en/html_node/Monitoring-Services.html")
+           (redirect "manual/html_node/Binary-Installation.html" 
"../en/html_node/Binary-Installation.html")
+           (redirect "manual/html_node/Messaging-Services.html" 
"../en/html_node/Messaging-Services.html")
+           (redirect "manual/html_node/X-Window.html" 
"../en/html_node/X-Window.html")
+           (redirect "manual/html_node/Service-Types-and-Services.html" 
"../en/html_node/Service-Types-and-Services.html")
+           (redirect "manual/html_node/Introduction.html" 
"../en/html_node/Introduction.html")
+           (redirect "manual/html_node/Hardware-Considerations.html" 
"../en/html_node/Hardware-Considerations.html")
+           (redirect "manual/html_node/System-Configuration.html" 
"../en/html_node/System-Configuration.html")
+           (redirect "manual/html_node/VPN-Services.html" 
"../en/html_node/VPN-Services.html")
+           (redirect "manual/html_node/Invoking-guix-system.html" 
"../en/html_node/Invoking-guix-system.html")
+           (redirect "manual/html_node/index.html" 
"../en/html_node/index.html")
+           (redirect "manual/html_node/package-Reference.html" 
"../en/html_node/package-Reference.html")
+           (redirect "manual/html_node/Sending-a-Patch-Series.html" 
"../en/html_node/Sending-a-Patch-Series.html")
+           (redirect 
"manual/html_node/package_002dcmd_002dpropagated_002dinputs.html" 
"../en/html_node/package_002dcmd_002dpropagated_002dinputs.html")
+           (redirect "manual/html_node/Invoking-guix-refresh.html" 
"../en/html_node/Invoking-guix-refresh.html")
+           (redirect "manual/html_node/GNU-Distribution.html" 
"../en/html_node/GNU-Distribution.html")
+           (redirect "manual/html_node/Name-Service-Switch.html" 
"../en/html_node/Name-Service-Switch.html")
+           (redirect "manual/html_node/The-Store.html" 
"../en/html_node/The-Store.html")
+           (redirect "manual/html_node/Common-Build-Options.html" 
"../en/html_node/Common-Build-Options.html")
+           (redirect "manual/html_node/Invoking-guix-import.html" 
"../en/html_node/Invoking-guix-import.html")
+           (redirect "manual/html_node/Invoking-guix-edit.html" 
"../en/html_node/Invoking-guix-edit.html")
+           (redirect "manual/html_node/Network-File-System.html" 
"../en/html_node/Network-File-System.html")
+           (redirect "manual/html_node/Miscellaneous-Services.html" 
"../en/html_node/Miscellaneous-Services.html")
+           (redirect "manual/html_node/Daemon-Offload-Setup.html" 
"../en/html_node/Daemon-Offload-Setup.html")
+           (redirect "manual/html_node/Features.html" 
"../en/html_node/Features.html")
+           (redirect 
"manual/html_node/guix_002dpublish_002dservice_002dtype.html" 
"../en/html_node/guix_002dpublish_002dservice_002dtype.html")
+           (redirect "manual/html_node/Invoking-guix-pack.html" 
"../en/html_node/Invoking-guix-pack.html")
+           (redirect "manual/html_node/Contributing.html" 
"../en/html_node/Contributing.html")
+           (redirect "manual/html_node/fallback_002doption.html" 
"../en/html_node/fallback_002doption.html")
+           (redirect "manual/html_node/Power-management-Services.html" 
"../en/html_node/Power-management-Services.html")
+           (redirect "manual/html_node/build_002dcheck.html" 
"../en/html_node/build_002dcheck.html")
+           (redirect "manual/html_node/Invoking-guix-package.html" 
"../en/html_node/Invoking-guix-package.html")
+           (redirect "manual/html_node/Mail-Services.html" 
"../en/html_node/Mail-Services.html")
+           (redirect "manual/html_node/Concept-Index.html" 
"../en/html_node/Concept-Index.html")
+           (redirect "manual/html_node/Build-Environment-Setup.html" 
"../en/html_node/Build-Environment-Setup.html")
+           (redirect "manual/html_node/Printing-Services.html" 
"../en/html_node/Printing-Services.html")
+           (redirect "manual/html_node/Invoking-guix-build.html" 
"../en/html_node/Invoking-guix-build.html")
+           (redirect "manual/html_node/Programming-Interface.html" 
"../en/html_node/Programming-Interface.html")
+           (redirect "manual/html_node/profile_002dmanifest.html" 
"../en/html_node/profile_002dmanifest.html")
+           (redirect "manual/html_node/Packaging-Guidelines.html" 
"../en/html_node/Packaging-Guidelines.html")
+           (redirect "manual/html_node/Kerberos-Services.html" 
"../en/html_node/Kerberos-Services.html")
+           (redirect "manual/html_node/Invoking-guix-graph.html" 
"../en/html_node/Invoking-guix-graph.html")
+           (redirect "manual/html_node/Invoking-guix-container.html" 
"../en/html_node/Invoking-guix-container.html")
+           (redirect "manual/html_node/Derivations.html" 
"../en/html_node/Derivations.html")
+           (redirect "manual/html_node/Programming-Index.html" 
"../en/html_node/Programming-Index.html")
+           (redirect "manual/html_node/Setting-Up-the-Daemon.html" 
"../en/html_node/Setting-Up-the-Daemon.html")
+           (redirect "manual/html_node/Continuous-Integration.html" 
"../en/html_node/Continuous-Integration.html")
+           (redirect "manual/html_node/User-Accounts.html" 
"../en/html_node/User-Accounts.html")
+           (redirect "manual/html_node/guix-system-vm.html" 
"../en/html_node/guix-system-vm.html")
+           (redirect "manual/html_node/Invoking-guix-weather.html" 
"../en/html_node/Invoking-guix-weather.html")
+           (redirect "manual/html_node/USB-Stick-Installation.html" 
"../en/html_node/USB-Stick-Installation.html")
+           (redirect "manual/html_node/Telephony-Services.html" 
"../en/html_node/Telephony-Services.html")
+           (redirect "manual/html_node/Additional-Build-Options.html" 
"../en/html_node/Additional-Build-Options.html")
+           (redirect "manual/html_node/Requirements.html" 
"../en/html_node/Requirements.html")
+           (redirect "manual/html_node/Acknowledgments.html" 
"../en/html_node/Acknowledgments.html")
+           (redirect "manual/html_node/Formatting-Code.html" 
"../en/html_node/Formatting-Code.html")
+           (redirect "manual/html_node/Certificate-Services.html" 
"../en/html_node/Certificate-Services.html")
+           (redirect "manual/html_node/Invoking-guix-copy.html" 
"../en/html_node/Invoking-guix-copy.html")
+           (redirect "manual/html_node/Package-Modules.html" 
"../en/html_node/Package-Modules.html")
+           (redirect "manual/html_node/Proxy-Settings.html" 
"../en/html_node/Proxy-Settings.html")
+           (redirect "manual/html_node/locales_002dand_002dlocpath.html" 
"../en/html_node/locales_002dand_002dlocpath.html")
+           (redirect "manual/html_node/Substitute-Server-Authorization.html" 
"../en/html_node/Substitute-Server-Authorization.html")
+           (redirect "manual/html_node/Setuid-Programs.html" 
"../en/html_node/Setuid-Programs.html")
+           (redirect "manual/html_node/Bootstrapping.html" 
"../en/html_node/Bootstrapping.html")
+           (redirect "manual/html_node/Defining-Services.html" 
"../en/html_node/Defining-Services.html")
+           (redirect "manual/html_node/pam_002dlimits_002dservice.html" 
"../en/html_node/pam_002dlimits_002dservice.html")
+           (redirect "manual/html_node/Desktop-Services.html" 
"../en/html_node/Desktop-Services.html")
+           (redirect "manual/html_node/Utilities.html" 
"../en/html_node/Utilities.html")
+           (redirect "manual/html_node/Services.html" 
"../en/html_node/Services.html")
+           (redirect "manual/html_node/Limitations.html" 
"../en/html_node/Limitations.html")
+           (redirect "manual/html_node/Invoking-guix-size.html" 
"../en/html_node/Invoking-guix-size.html")
+           (redirect "manual/html_node/Shepherd-Services.html" 
"../en/html_node/Shepherd-Services.html")
+           (redirect "manual/html_node/system_002dshepherd_002dgraph.html" 
"../en/html_node/system_002dshepherd_002dgraph.html")
+           (redirect "manual/html_node/Invoking-guix-environment.html" 
"../en/html_node/Invoking-guix-environment.html")
+           (redirect "manual/html_node/Invoking-guix-publish.html" 
"../en/html_node/Invoking-guix-publish.html")
+           (redirect "manual/html_node/Log-Rotation.html" 
"../en/html_node/Log-Rotation.html")
+           (redirect "manual/html_node/Building-from-Git.html" 
"../en/html_node/Building-from-Git.html")
+           (redirect "manual/html_node/Defining-Packages.html" 
"../en/html_node/Defining-Packages.html")
+           (redirect "manual/html_node/DNS-Services.html" 
"../en/html_node/DNS-Services.html")
+           (redirect "manual/html_node/Bootloader-Configuration.html" 
"../en/html_node/Bootloader-Configuration.html")
+           (redirect "manual/html_node/Invoking-guix-challenge.html" 
"../en/html_node/Invoking-guix-challenge.html")
+           (redirect 
"manual/html_node/nginx_002dlocation_002dconfiguration-body.html" 
"../en/html_node/nginx_002dlocation_002dconfiguration-body.html")
+           (redirect "manual/html_node/Proceeding-with-the-Installation.html" 
"../en/html_node/Proceeding-with-the-Installation.html")
+           (redirect "manual/html_node/Initial-RAM-Disk.html" 
"../en/html_node/Initial-RAM-Disk.html")
+           (redirect "manual/html_node/syslog_002dservice.html" 
"../en/html_node/syslog_002dservice.html")
+           (redirect "manual/html_node/Preparing-for-Installation.html" 
"../en/html_node/Preparing-for-Installation.html")
+           (redirect "manual/html_node/Application-Setup.html" 
"../en/html_node/Application-Setup.html")
+           (redirect "manual/html_node/Service-Composition.html" 
"../en/html_node/Service-Composition.html")
+           (redirect "manual/html_node/Packages-with-Multiple-Outputs.html" 
"../en/html_node/Packages-with-Multiple-Outputs.html")
+           (redirect "manual/html_node/Submitting-Patches.html" 
"../en/html_node/Submitting-Patches.html")
+           (redirect "manual/html_node/Substitution-Failure.html" 
"../en/html_node/Substitution-Failure.html")
+           (redirect "manual/html_node/Porting.html" 
"../en/html_node/Porting.html")
+           (redirect "manual/html_node/Web-Services.html" 
"../en/html_node/Web-Services.html")
+           (redirect "manual/html_node/Build-Systems.html" 
"../en/html_node/Build-Systems.html")
+           (redirect "manual/html_node/Python-Modules.html" 
"../en/html_node/Python-Modules.html")
+           (redirect "manual/html_node/On-Trusting-Binaries.html" 
"../en/html_node/On-Trusting-Binaries.html")
+           (redirect "manual/html_node/Synopses-and-Descriptions.html" 
"../en/html_node/Synopses-and-Descriptions.html")
+           (redirect "manual/html_node/Invoking-guix-archive.html" 
"../en/html_node/Invoking-guix-archive.html")
+           (redirect "manual/html_node/Package-Transformation-Options.html" 
"../en/html_node/Package-Transformation-Options.html")
+           (redirect "manual/html_node/Perl-Modules.html" 
"../en/html_node/Perl-Modules.html")
+           (redirect "manual/html_node/Base-Services.html" 
"../en/html_node/Base-Services.html")
+           (redirect "manual/html_node/origin-Reference.html" 
"../en/html_node/origin-Reference.html")
+           (redirect "manual/html_node/Substitute-Authentication.html" 
"../en/html_node/Substitute-Authentication.html")
+           (redirect "manual/html_node/Service-Reference.html" 
"../en/html_node/Service-Reference.html")
+           (redirect "manual/html_node/system_002dextension_002dgraph.html" 
"../en/html_node/system_002dextension_002dgraph.html")
+           (redirect "manual/html_node/Installing-Debugging-Files.html" 
"../en/html_node/Installing-Debugging-Files.html")
+           (redirect "manual/html_node/Official-Substitute-Server.html" 
"../en/html_node/Official-Substitute-Server.html")
+           (redirect "manual/html_node/Scheduled-Job-Execution.html" 
"../en/html_node/Scheduled-Job-Execution.html")
+           (redirect "manual/html_node/Package-Management.html" 
"../en/html_node/Package-Management.html")
+           (redirect "manual/html_node/Networking-Services.html" 
"../en/html_node/Networking-Services.html")
+           (redirect "manual/guix.html" "en/guix.html")
+           (redirect "manual/en/html_node/Installing-GuixSD-in-a-VM.html" 
"Installing-Guix-in-a-VM.html")
+           (redirect "manual/en/html_node/Running-GuixSD-in-a-VM.html" 
"Running-Guix-in-a-VM.html"))))
 
 (define %publish-url "http://localhost:3000";)