Fix renamed option use

diff --git a/documentation/doxygen.py b/documentation/doxygen.py
index e8b44c24cd46956333a51c71d96f23a739dfb555..423ea6e9a777d6725468a86b32ba5d27b000a9a0 100755 (executable)
--- a/documentation/doxygen.py
+++ b/documentation/doxygen.py
@@ -3834,7 +3834,7 @@ if __name__ == '__main__': # pragma: no cover
         doxyfile = os.path.join(os.path.dirname(os.path.abspath(args.config)), config['DOXYFILE'])
     else:
         # Make the Doxyfile path absolute, otherwise everything gets messed up
-        doxyfile = os.path.abspath(args.doxyfile)
+        doxyfile = os.path.abspath(args.config)
 
     state = State(config)
     parse_doxyfile(state, doxyfile)