vis.git/doc/.gitignore, branch master Unnamed repository; edit this file 'description' to name the repository. doc: add initial documentation files 2017-05-03T08:42:04+00:00 Marc André Tanner mat@brain-dump.org 2017-04-28T21:14:22+00:00 62eea997d2b5ff9b30f3d562121fd0839e1fe0f1 If all required dependencies (doxygen, breathe, sphinx, sphinx_rtd_theme) are installed, then `make html` in the doc directory should generate sphinx based documentation in doc/build/sphinx. 
If all required dependencies (doxygen, breathe, sphinx, sphinx_rtd_theme)
are installed, then `make html` in the doc directory should generate
sphinx based documentation in doc/build/sphinx.