Makefile: prefer "make docs" over "make doc", as it is the convention
Description
Description
Details
Details
- Provenance
zack Authored on Sep 5 2017, 11:31 AM zack Pushed on Sep 5 2017, 11:33 AM - Parents
- rDENVf09abfb71a29: Makefile: add proxy "doc" target to build HTML Sphynx doc
- Branches
- Unknown
- Tags