a guest Aug 23rd, 2019 82 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. git clone
  2. git clone
  3. git clone
  4. git clone
  5. git clone
  6. git clone
  7. cd Documentation
  8. git checkout dockerized-docs
  9. cd docker_env
  10. docker pull
  11. docker-compose run
  12. make setup-env
  13. make html-parallel
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand