Hi, after running configure with "Enable developer documentation" set to "yes" git status warns about two new untracked files: doc/doxygen/tooldev.doxygen doc/doxygen/tools.doxygen Below is a small patch. HTH, Dawiddev
parent
d99a050195
commit
d956379058
Loading…
Reference in new issue