Skip to content
Snippets Groups Projects
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
make_docs 367 B
#!/bin/bash

if [ "x{$DELPHI_INSTALL_DIR}" = "x" ];then
    export DELPHI_INSTALL_DIR=`pwd`
    echo "$DELPHI_INSTALL_DIR not set. Installing here."
else
    export DELPHI_INSTALL_DIR
fi

# get the code from git
if [ ! -e $DELPHI_INSTALL_DIR/docs ] ; then
    cd $DELPHI_INSTALL_DIR
    git clone https://:@gitlab.cern.ch:8443/delphi/docs.git
    rm -rf docs/.git
fi