coq / coq.github.io

Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15 stars 37 forks source link

Why does the synchronization script copies 5 times aliases.footer.conf? #132

Closed Zimmi48 closed 4 years ago

Zimmi48 commented 4 years ago

Upon synchronizing the website on the server with the sources in this repository, the content of aliases.footer.conf is copied 5 times to /etc/apache2/aliases.conf. I'm failing to understand how and why.

Zimmi48 commented 4 years ago

This is even more complicated than this. Right now, aliases.conf contains 7 copies of the version of aliases.footer.conf dating from before the last commit. I have no idea what is going on except that this website is crippled with technical debt and that I'm looking forward a full rewrite. It shouldn't be so hard to produce what is today a fully static website!