diff options
| -rw-r--r-- | make/configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make/configure.py b/make/configure.py index e27b477fa..30c313c14 100644 --- a/make/configure.py +++ b/make/configure.py @@ -1736,7 +1736,7 @@ int main () args = [] for arg in Option.conf_args: args.append( arg[1] ) - doc.add( 'CONF.args', ' '.join( args )) + doc.add( 'CONF.args', ' '.join(args).replace('$','$$') ) doc.addBlank() doc.add( 'HB.title', project.title ) |