aboutsummaryrefslogtreecommitdiff
path: root/tools
Commit message (Collapse)AuthorAge
* updated RuleSet and Rule documentationGravatar Rogan Creswick2013-06-17
|
* Remove the addon-sdk from the repo, and download it on demandGravatar Trevor Elliott2013-06-07
|
* added EnvJasmine script and config file. You need to clone the EnvJasmine ↵Gravatar Benjamin Jones2013-05-23
| | | | git repo to tools/EnvJasmine/ for the run script to work
* Remove google closure, and start reworking the build systemGravatar Trevor Elliott2013-05-16
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Squashed commit of the following: commit 446aae2afd089c28abd1d03a5fd20d4735837e16 Author: Trevor Elliott <trevor@galois.com> Date: Thu May 16 11:50:17 2013 -0700 stage-dir doesn't need to be cleaned Since everything goes into a common build tree now, cleaning just involves removing the entire build tree. commit d8f531ddf8ee1406ec915502c28dc0eb3912d0ee Author: Trevor Elliott <trevor@galois.com> Date: Thu May 16 11:47:10 2013 -0700 Switch to placing build artifacts in a build tree commit 9eedeec8d6a1012b1b7e466120260276b1e952d4 Author: Trevor Elliott <trevor@galois.com> Date: Thu May 16 11:35:01 2013 -0700 Remove the closure_compiler and closure_linter commit 5784158cf2cd55f0ffd01147ae014379ecc857fd Author: Trevor Elliott <trevor@galois.com> Date: Thu May 16 11:34:27 2013 -0700 Move the scripts in build to tools/bin commit 64a6a53ea0fd5e299e9d17c0e4f8fedf305272dc Author: Trevor Elliott <trevor@galois.com> Date: Thu May 16 11:27:55 2013 -0700 Build jsdoc Also, remove the old Makefiles that were in doc, as they're not necessary anymore. commit 1ef0d9e39cd4a24807ee6ca956fbc627fb851b9d Author: Trevor Elliott <trevor@galois.com> Date: Thu May 16 11:18:59 2013 -0700 Conditionally build the manual commit c326c58059e0d5035edecfd6261ee42797c49c2c Author: Trevor Elliott <trevor@galois.com> Date: Thu May 16 11:13:31 2013 -0700 Get the html manual building again commit 480fa132ffb0562eb3f61d45d79d3315b1d3cc29 Author: Trevor Elliott <trevor@galois.com> Date: Thu May 16 11:13:01 2013 -0700 Move doc specific .gitignore stuff to doc/.gitignore commit 8c108d4e0df848839bcd6b4c22d623053f590e95 Author: Trevor Elliott <trevor@galois.com> Date: Wed May 15 10:42:41 2013 -0700 Fix some path inconsistencies in the contexts build.mk commit ee53404be09cf26983365374da84ade564b92926 Author: Trevor Elliott <trevor@galois.com> Date: Wed May 15 10:37:40 2013 -0700 Preliminary build system changes * Chrome extension builds, but there are problems commit 474c6b88190787aeffd960ffb5855d31770e7141 Author: Trevor Elliott <trevor@galois.com> Date: Mon May 13 19:06:31 2013 -0700 Remove the closure toolkit
* updated aceGravatar Rogan Creswick2013-01-02
|
* updated addon-sdk to 1.12Gravatar Rogan Creswick2013-01-02
|
* updated the REUQIRE_RE regular expression to ignore goog.require function callsGravatar Rogan Creswick2013-01-02
|
* added addon-sdk-1.7, without any changesGravatar Rogan Creswick2013-01-02
|
* fixed spacing around header/footer in the jsdocGravatar Rogan Creswick2012-10-31
|
* fixed the formatting of the files listGravatar Rogan Creswick2012-10-31
|
* updated the rest of jsdoc to use the Galois Open-Source templateGravatar Rogan Creswick2012-10-31
|
* added images for the styles to jsdoc template and updated the jsdoc build scriptGravatar Rogan Creswick2012-10-30
|
* tweaked the document width in the jsdoc default.cssGravatar Rogan Creswick2012-10-30
|
* updated css styles for documentationGravatar Rogan Creswick2012-10-30
|
* incorporated the new web templates for documentationGravatar Rogan Creswick2012-10-17
|
* chromedriver symlinkGravatar Rogan Creswick2012-08-30
|
* added new chromedriver binariesGravatar Rogan Creswick2012-08-30
|
* removed tools/downloadsGravatar Rogan Creswick2012-03-31
|
* removed older addon-sdks from toolsGravatar Rogan Creswick2012-03-31
|
* initial revisionGravatar Rogan Creswick2012-03-30