Hello,
You probably know that there are talks to switch the www.gnu.org web
server from Apache to Nginx. The problem is that Nginx doesn't support
.htaccess. So we need to move the redirections that are now in
/grub/.htaccess to .symlinks.
While at it, we could also
- remove dead symlinks pointing to /grub/grub.en.html and
/grub/grub-faq.en.html, and
- remove /grub/grub.html (an outdated version of /grub/index.html),
as it could conflict with future versions of the symlinks-conversion
script.
The diff is attached. If you agree but don't have time to apply it, I
will gladly do it.
Best,
Thérèse
Index: .symlinks
===================================================================
RCS file: /webcvs/grub/grub/.symlinks,v
retrieving revision 1.4
diff -U 2 -r1.4 .symlinks
--- .symlinks 16 Apr 2004 10:55:22 -0000 1.4
+++ .symlinks 2 Mar 2026 10:21:11 -0000
@@ -1,3 +1,12 @@
-grub.en.html grub.html
-grub-faq.en.html grub-faq.html
-grub.en.html index.html
+# Adapted from .htaccess.
+manual/grub/index.html manual/index.html
+manual/grub/grub.dvi.gz manual/grub.dvi.gz
+manual/grub/grub.html manual/grub.html
+manual/grub/grub.html.gz manual/grub.html.gz
+manual/grub/grub.html_node.tar.gz manual/grub.html_node.tar.gz
+manual/grub/grub.info.tar.gz manual/grub.info.tar.gz
+manual/grub/grub.pdf manual/grub.pdf
+manual/grub/grub.texi.tar.gz manual/grub.texi.tar.gz
+manual/grub/grub.txt manual/grub.txt
+manual/grub/grub.txt.gz manual/grub.txt.gz
+manual/grub/html_node manual/html_node
