1234567891011121314151617181920212223242526272829303132 |
- #!/usr/bin/python
- # Copyright David Abrahams 2004. Use, modification and distribution is
- # subject to the Boost Software License, Version 1.0. (See accompanying
- # file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- #
- # Generate html, TeX, and PDF versions of all the source files
- #
- import os
- import sys
- from syscmd import syscmd
- from sources import sources
- if 0:
- for s in sources:
- syscmd('boosthtml %s' % s)
- else:
- extensions = ('html', 'pdf')
- if len(sys.argv) > 1:
- extensions = sys.argv[1:]
- all = [ '%s.%s' % (os.path.splitext(s)[0],ext)
- for ext in extensions
- for s in sources
- ]
- print 'make %s' % ' '.join(all)
- syscmd('make %s' % ' '.join(all))
|