Closed MatanSilver closed 7 years ago
make doc now works, and outputs both a static html site and latex (with its own makefile to generate a pdf). Documentation files added to .gitignore to avoid massive commits.
make doc
make doc
now works, and outputs both a static html site and latex (with its own makefile to generate a pdf). Documentation files added to .gitignore to avoid massive commits.