make html COQDOCFLAGS="--no-index"
cd html
ln -s Bitset.bitset.html index.html

make html COQDOCFLAGS="--no-index"
cd html
cp Bitset.bitset.html index.html

Use a copy instead of a symlink for index.html in the doc
Use a copy instead of a symlink for index.html in the doc
