Minor Tweak to compile.py

Also renamed doc to docs.