diff --git a/Documentation/dev-buck.txt b/Documentation/dev-buck.txt index 6f94fca812..d0b2ddc4e9 100644 --- a/Documentation/dev-buck.txt +++ b/Documentation/dev-buck.txt @@ -81,13 +81,15 @@ refreshed and missing dependency JARs can be downloaded: === Attaching Sources -To save time and bandwidth source JARs are only downloaded by the buck -build where necessary to compile Java source into JavaScript using the -GWT compiler. Additional sources may be obtained, allowing Eclipse to -show documentation or dive into the implementation of a library JAR: +Source JARs are downloaded by default. This allows Eclipse to show +documentation or dive into the implementation of a library JAR. + +To save time and bandwidth, download of source JARs can be restricted +to only those that are necessary to compile Java source into JavaScript +using the GWT compiler: ---- - tools/eclipse/project.py --src + tools/eclipse/project.py --no-src ---- diff --git a/tools/eclipse/project.py b/tools/eclipse/project.py index a156cd09e8..26b35cf635 100755 --- a/tools/eclipse/project.py +++ b/tools/eclipse/project.py @@ -36,7 +36,10 @@ while not path.exists(path.join(ROOT, '.buckconfig')): ROOT = path.dirname(ROOT) opts = OptionParser() -opts.add_option('--src', action='store_true') +opts.add_option('--src', action='store_true', + help='(deprecated) attach sources') +opts.add_option('--no-src', dest='no_src', action='store_true', + help='do not attach sources') opts.add_option('--plugins', help='create eclipse projects for plugins', action='store_true') args, _ = opts.parse_args() @@ -215,7 +218,7 @@ def gen_factorypath(): doc.writexml(fd, addindent='\t', newl='\n', encoding='UTF-8') try: - if args.src: + if not args.no_src: try: check_call([path.join(ROOT, 'tools', 'download_all.py'), '--src']) except CalledProcessError as err: