Fix autotools installation with WML on releases/2.4
When WML is installed, doc/Makefile.am
creates a target called css.html
, but that file only exists in dune-web mode, I think. There is already a hack for navigation.html
that creates a bogus file to install, so just duplicate that trick. That stuff is EOL anyway.