`make maintainer-clean` removes docs/index.html
I imagine @mpickering will throw a tomato at me for saying this, but make distclean
removes docs/index.html
, even though docs/index.html
is meant to be persisted these days. This may have been why @simonpj and I have run into difficulties around this file!