Chris de Graaf
|
bc21eca106
|
Make minor change to interactive prompt style
|
2017-09-04 19:00:18 +01:00 |
|
Chris de Graaf
|
7329fbcf90
|
Don't add Documenter, touch up tests
|
2017-08-29 00:38:04 +01:00 |
|
Chris de Graaf
|
ef7fa94a98
|
Move interactive from GitHubPages to Documenter, fix up some docs
|
2017-08-29 00:38:04 +01:00 |
|
Chris de Graaf
|
2af2407881
|
5 million review changes
|
2017-08-23 12:50:52 -05:00 |
|
Chris de Graaf
|
61b44a285d
|
Fix typos, change placeholder name
|
2017-08-18 16:08:48 -05:00 |
|
Chris de Graaf
|
d009acf24b
|
Rework code, fix/add tests, fix/add docs. All the things.
|
2017-08-17 17:06:05 -05:00 |
|
Chris de Graaf
|
a265956339
|
Overhaul plugin system to facilitate adding simple new plugins
|
2017-08-17 01:57:58 -05:00 |
|
Chris de Graaf
|
a14131ae15
|
Build package in a temp directory, refactor code
|
2017-08-15 18:46:36 -05:00 |
|
Chris de Graaf
|
9824d1a61a
|
Take username and host as separate keywords, allow ssh remotes
|
2017-08-15 11:10:05 -05:00 |
|
Chris de Graaf
|
ffdf06d441
|
Tweak plugin badges
|
2017-08-15 09:19:37 -05:00 |
|
Chris de Graaf
|
5dc80dddc5
|
Only Pkg.add("Documenter") if necessary (big speedup!)
|
2017-08-14 17:58:11 -05:00 |
|
Chris de Graaf
|
87a41f00cd
|
Add a line to generated index.md and throw a more specific error
|
2017-08-14 17:49:44 -05:00 |
|
Chris de Graaf
|
577a9a51ff
|
Rename Documenter attribute
|
2017-08-14 13:12:57 -05:00 |
|
Chris de Graaf
|
e18d4a2751
|
Copy over files
|
2017-08-11 17:18:09 -05:00 |
|