-
Lorenz Huedepohl authored
Now this is done consistently both in autoconf and automake. One can now safely call make clean and the header files are re-generated automatically.
a9d1b2d3
On Thursday, 7th July from 1 to 3 pm there will be a maintenance with a short downtime of GitLab.
Now this is done consistently both in autoconf and automake. One can now safely call make clean and the header files are re-generated automatically.