-
Lorenz Huedepohl authoredNow 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 Monday, 27th March 9 a.m., the user backend of GitLab will get a reconfiguration. A new login to the web interface may be necessary.
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.