1#!/usr/bin/python 2# Copyright David Abrahams 2004. Use, modification and distribution is 3# subject to the Boost Software License, Version 1.0. (See accompanying 4# file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) 5 6# 7# Generate html, TeX, and PDF versions of all the source files 8# 9import os 10import sys 11 12from syscmd import syscmd 13from sources import sources 14 15if 0: 16 for s in sources: 17 syscmd('boosthtml %s' % s) 18else: 19 extensions = ('html', 'pdf') 20 21 if len(sys.argv) > 1: 22 extensions = sys.argv[1:] 23 24 all = [ '%s.%s' % (os.path.splitext(s)[0],ext) 25 for ext in extensions 26 for s in sources 27 ] 28 29 print 'make %s' % ' '.join(all) 30 syscmd('make %s' % ' '.join(all)) 31 32 33