Merge branch 'master' of github.com:johnwinans/rvalp

This commit is contained in:
John Winans 2018-05-03 06:55:34 -05:00
commit 4e7b603316

View File

@ -30,6 +30,8 @@ Put the following into .bashrc:
export INFOPATH=$INFOPATH:/usr/local/texlive/2017/texmf-dist/doc/info
export MANPATH=$MANPATH:/usr/local/texlive/2017/texmf-dist/doc/man
Then clone and build this repo:
git clone git@github.com:johnwinans/rvalp.git
cd rvalp
make world