Skip to content

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.

Merge request reports