Commits on May 1, 2020

1. vagrant: Forward port 9081 for documentation server …

   With this change you can run `make render-docs` from inside the Vagrant
   VM and access http://localhost:9081/ from a browser. The `render-docs`
   target is failing with this exception in my environment (Mac):
   ```
   Exception occurred:
     File "/usr/local/lib/python3.7/site-packages/sphinx/application.py", line 365, in build
       os.unlink(envfile)
   PermissionError: [Errno 13] Permission denied: '/src/Documentation/_build/doctrees/environment.pickle'
   ```
   
   Also replace the tab with spaces in the line above.
   
   Signed-off-by: Michi Mutsuzaki <michi@isovalent.com>

   

   michi-covalent committed May 1, 2020
   Copy the full SHA

   987467f View commit details

   Browse the repository at this point in the history