Fix up doc building
Unbreak build after 988cd774 shuffled file names around without changing the corresponding Makefile.
Showing
Please register or sign in to comment
Unbreak build after 988cd774 shuffled file names around without changing the corresponding Makefile.