diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/SConscript | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/SConscript b/doc/SConscript index 9bf40bc..a3d6fe7 100644 --- a/doc/SConscript +++ b/doc/SConscript @@ -544,7 +544,6 @@ else: e = os.path.join('#src', 'engine') manifest_in = File(os.path.join(e, 'MANIFEST.in')).rstr() sources = [x[:-1] for x in open(manifest_in).readlines()] - sources = [x for x in sources if x.find('Optik') == -1] sources = [x for x in sources if x.find('Platform') == -1] sources = [x for x in sources if x.find('Tool') == -1] # XXX |