Documentation: Replace @@GIT_VERSION@@ in documentation