generate.py
字号:
#!/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 osimport sysfrom syscmd import syscmdfrom sources import sourcesif 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))
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -