fix the script building the documentation and setup