Skip to content

Instantly share code, notes, and snippets.

@mrchilds
Created July 9, 2013 14:01
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save mrchilds/5957577 to your computer and use it in GitHub Desktop.
Save mrchilds/5957577 to your computer and use it in GitHub Desktop.
# Using conf.py (currently in master)
# Jenkins config...
# Wes Code (e.g. before any help)
#!/bin/bash
source /home/ubuntu/production/bin/activate
cd /srv/
echo "Generating 'doc' folder..."
if [ -d "doc" ]; then
echo "Removing existing 'doc' folder"
rm -fr doc
fi
mkdir doc
cd /srv/CustomMade/
export PYTHONPATH=.
sphinx-build -j 2 -b html . ../doc
# Post Help (using MakeFile)
#!/bin/bash
source /home/ubuntu/production/bin/activate
cd /srv/
echo "Generating 'doc' folder..."
if [ -d "doc" ]; then
echo "Removing existing 'doc' folder"
rm -fr doc
fi
mkdir doc
cd /srv/CustomMade/
export PYTHONPATH=.
make html
# Same error both times (except path was slightly different on mine as I wasn't specifing _build dir, I was outputting to doc):
writing output... [100%] index
Exception occurred:
File "/home/ubuntu/production/local/lib/python2.7/site-packages/sphinx/environment.py", line 1064, in get_doctree
f = open(doctree_filename, 'rb')
IOError: [Errno 2] No such file or directory: u'/srv/CustomMade/_build/doctrees/index.doctree'
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment