The source project of this merge request has been removed.
Automate documentation version number generation
I did not remove the two preformatted manual pages yet, since they only require minimal changes to use the autotools substitution.
Edited by Simon Doppler