# HG changeset patch # User Peter D. Barnes, Jr. # Date 1369866981 25200 # Node ID ef717d7710491696c961449a57c51e77c07aa86c # Parent a696eebd6991278c957dc37357477b006036f559 Create the sphinx _static output directories diff -r a696eebd6991 -r ef717d771049 doc/ns3_html_theme/get_version.sh --- a/doc/ns3_html_theme/get_version.sh Wed May 29 14:43:59 2013 -0700 +++ b/doc/ns3_html_theme/get_version.sh Wed May 29 15:36:21 2013 -0700 @@ -201,8 +201,9 @@ # by Sphinx when rebuilding cd doc 2>&1 >/dev/null for d in {manual,models,tutorial{,-pt-br}}/build/{single,}html/_static/ ; do - # expect the copy to fail if the destination dir - # hasn't been created by a prior doc build + if [ ! -d $d ]; then + mkdir -p $d + fi cp ns3_html_theme/static/ns3_version.js $d done cd - 2>&1 >/dev/null