diff options
Diffstat (limited to 'doc/user/misc.xml')
| -rw-r--r-- | doc/user/misc.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/user/misc.xml b/doc/user/misc.xml index 3cd3de7..05fe62e 100644 --- a/doc/user/misc.xml +++ b/doc/user/misc.xml @@ -263,7 +263,7 @@ headers = [ 'nonesuch.h', 'config.h', 'private.h', 'dist.h'] for hdr in headers: print '%-12s' % ('%s:' % hdr), FindFile(hdr, includes) -</programlisting> + </programlisting> <screen> % <userinput>scons -Q</userinput> |