Bug #1812
Documentation: indexXX.html should be recompiled if version has changed
Start date:
29 Mar 2024
Due date:
% Done:
0%
Estimated time:
Description
There is no dependency on configuration/version in doc/Makefile for index...html.
(on the other hand the pdf manual seems to work fine... maybe).