Add minor improvements for documentation build
-rw-r--r-- 20 .gitignore
-rw-r--r-- 584 Makefile
-rw-r--r-- 167 Pipfile
-rw-r--r-- 8162 Pipfile.lock
-rw-r--r-- 791 make.bat
drwxr-xr-x - source