Clarify the .bashrc and build bits.

This commit is contained in:
John Winans 2018-04-30 08:46:13 -05:00 committed by GitHub
parent 06d19a6165
commit 88a384b921
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

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