forked from public/pysim
93e2b26672
* gitignore: add manuals related files * docs/Makefile: don't forward shrink to sphinx
* gitignore: add manuals related files * docs/Makefile: don't forward shrink to sphinx