When changing the structure of the documenation, check the toplevel Makefile's dist target so that the right things are included.