Setting up your LaTeX distribution - RoboCupAtHome/RuleBook GitHub Wiki

Ubuntu Linux 14.04

  • sudo apt-get install texlive* #To be sure :smile:
  • tlmgr init-usertree
  • sudo tlmgr install soul