diff options
| author | Camil Staps | 2019-08-12 15:20:03 +0200 |
|---|---|---|
| committer | Camil Staps | 2019-08-12 15:20:03 +0200 |
| commit | 30bc04e76261e7fec7732292a687d59f5a006563 (patch) | |
| tree | cc8e70d7092fbcfd5c1024a2c4a1484f71c6e73e | |
| parent | Optimise git diff for Clean (tab-width 4) (diff) | |
Fix texdoc error
| -rw-r--r-- | system/.profile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/system/.profile b/system/.profile index 7dfe73d..27dd944 100644 --- a/system/.profile +++ b/system/.profile @@ -1,6 +1,6 @@ export CLEAN_HOME=/opt/clean export CLEANLIB=$CLEAN_HOME/exe -export PATH="$PATH:/usr/local/texlive/2019/bin/x86_64-linux" +export PATH="/usr/local/texlive/2019/bin/x86_64-linux:$PATH" export PATH="$PATH:/opt/microchip/xc16/v1.26/bin" export PATH="$PATH:/opt/microchip/xc8/v1.41/bin" export PATH="$PATH:/opt/zotero" |