diff options
| author | rsiddharth <rsd@gnu.org> | 2016-05-12 00:04:55 +0000 |
|---|---|---|
| committer | rsiddharth <rsd@gnu.org> | 2016-05-12 00:04:55 +0000 |
| commit | cc9f564bc3c99e05e8b6293c9247a6808bc353b0 (patch) | |
| tree | 960d3ab6f786b342d2d6922886ea15b106b56a17 /docs/make.bat | |
| parent | ae3ef79c1965b4bb38a1c11d6e06d192e57a051d (diff) | |
Makefile: update `dev-packages` target.
- Add Sphinx
- Add `-U` switch to all pip comands.
Diffstat (limited to 'docs/make.bat')
0 files changed, 0 insertions, 0 deletions