search

gap-system / GapWWW

Source for the GAP website
https://www.gap-system.org
12 stars 25 forks source link

Revert "Script to repair cross links between manuals" #307

Closed fingolfin closed 1 year ago

fingolfin commented 1 year ago

This reverts commit 6853d0a63cf922b70bc5b9642058fe3aa48d639f.

It is no longer necessary, as the server now automatically redirects these URLs. So e.g.

https://docs.gap-system.org/pkg/GAPDoc-1.6.3/doc/chap0.html

is automatically redirected to

https://docs.gap-system.org/pkg/gapdoc/doc/chap0.html

frankluebeck commented 1 year ago

Yes, for the webserver the described redirection is another solution for the problem.

The mentioned script is still useful for a local GAP installation; if people use the HTML version of the manuals the files are lokal there is no webserver that can do the redirection. E.g., I still use the script for the rsync-distribution of GAP 4.12.

fingolfin commented 1 year ago

I agree it could be useful for local GAP installations -- or for that matter, it (or a variant of it) could be used while creating the GAP release tarballs to ensure cross links between packages work there. But of course the website repository is not the right place for that.