Revision 6262d2ae ci/make_docs.sh

b/ci/make_docs.sh
1 1 
#!/usr/bin/env sh
2 2 
set -e
3 3 

  		





  4
  
  
    
BUILD_DIR=$1


  		





  5
  
  
    
BUILD_NUMBER=$2


  		





  6
  
  
    
DOCS_DIR=$1/$2


  		





  
  4
  
    
DOCS_DIR=$1


  		





  7
  5
  
    

  		





  8
  6
  
    
cd docs


  		





  9
  7
  
    
make html


  		












Also available in:
  Unified diff