mirror of
https://github.com/saitohirga/WSJT-X.git
synced 2025-10-27 11:00:32 -04:00
33 lines
748 B
Python
33 lines
748 B
Python
|
#!/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))
|
||
|
|
|
||
|
|
|