diff options
author | Dimitri van Heesch <dimitri@stack.nl> | 2012-09-30 13:51:29 (GMT) |
---|---|---|
committer | Dimitri van Heesch <dimitri@stack.nl> | 2012-09-30 13:51:29 (GMT) |
commit | ceb4115c7b941039411e1793e01239610ff112a2 (patch) | |
tree | d18c06222e0f84d6077b586e5633053a8bc09da8 /src/configgen.py | |
parent | f6d511e52eb55c5d5b980c4d226f2ea80b396095 (diff) | |
download | Doxygen-ceb4115c7b941039411e1793e01239610ff112a2.zip Doxygen-ceb4115c7b941039411e1793e01239610ff112a2.tar.gz Doxygen-ceb4115c7b941039411e1793e01239610ff112a2.tar.bz2 |
Release-1.8.2-20120930
Diffstat (limited to 'src/configgen.py')
-rwxr-xr-x | src/configgen.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/configgen.py b/src/configgen.py index d02eafd..5af201f 100755 --- a/src/configgen.py +++ b/src/configgen.py @@ -12,6 +12,7 @@ # input used in their production; they are not affected by this license. # import xml.dom.minidom +import sys from xml.dom import minidom, Node def addValues(var,node): @@ -110,7 +111,7 @@ def parseGroups(node): def main(): - doc = xml.dom.minidom.parse("config.xml") + doc = xml.dom.minidom.parse(sys.argv[1]) elem = doc.documentElement print "/* WARNING: This file is generated!" print " * Do not edit this file, but edit config.xml instead and run" |