The generated web pages mention the documentation but it was not
commited yet. This is especially annoying when a user find a package
webpage from google and has no way to find out how to use/install it.

Even though the current doc is far from complete, it documents at least
how to download and install something.

This reverts commit dafce813.

Still testing the post-receive-email script...

This reverts commit b1288cfe.

Fake commit to test the post-receive-email script

See https://softs.laas.fr/bugzilla/show_bug.cgi?id=67