Bring branch up-to-date with trunk

[SVN r21992]
2004-01-27 04:50:52 +00:00
parent 189533437f
commit d15302e683
38 changed files with 8573 additions and 4216 deletions
--- a/doc/generate.py
+++ b/doc/generate.py
@ -23,7 +23,7 @@ else:
          for s in sources 
        ]

-    print 'make %s' % ' '.join(all)
-    syscmd('make %s' % ' '.join(all))
+    print 'make -k %s' % ' '.join(all)
+    syscmd('make -k %s' % ' '.join(all))