summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthew Sotoudeh <matthewsot@outlook.com>2020-04-13 08:43:40 -0700
committerMatthew Sotoudeh <matthewsot@outlook.com>2020-04-13 08:43:40 -0700
commit384e95912fd3ebe93edede7dff2d4b076ccc03d3 (patch)
treea3749114b42a9e64bd32f2a051f304208f800cff
parent266c2df3faac84490ca5ac7e753e12fb9cdc939a (diff)
Update README
-rw-r--r--README.md18
1 files changed, 9 insertions, 9 deletions
diff --git a/README.md b/README.md
index 7701d80..193b82b 100644
--- a/README.md
+++ b/README.md
@@ -25,19 +25,19 @@ Note that the `setup_texlive.sh` script will write the install directory to
`$HOME/.bazelrc` so the rules can automatically find the installation. If you
ever move the installation, you will have to update `$HOME/.bazelrc`.
-For example, on Vimes, these steps corresponded to the following commands:
+For example, on an Ubuntu machine these steps corresponded to the following commands:
```bash
cd ~/Downloads
curl -OL http://ftp.math.utah.edu/pub/tex/historic/systems/texlive/2019/texlive2019-20190410.iso
-mkdir /home/masotoud/texlive-iso
-sudo mount -o loop -t iso9660 texlive2019-20190410.iso /home/masotoud/texlive-iso
-cd /home/masotoud/indra/latex/bazel-latex
-./setup_texlive.sh /home/masotoud/texlive-iso /home/masotoud/texlive-full-bazel
-sudo umount /home/masotoud/texlive-iso
-rm -rf /home/masotoud/texlive-iso
+mkdir /home/user/texlive-iso
+sudo mount -o loop -t iso9660 texlive2019-20190410.iso /home/user/texlive-iso
+cd /home/user/bazel-latex # Clone of this repository.
+./setup_texlive.sh /home/user/texlive-iso /home/user/texlive-full-bazel
+sudo umount /home/user/texlive-iso
+rm -rf /home/user/texlive-iso
```
-after which I could `bazel run main_getpdf` in
-`indra/latex/line_transformer_nips19`.
+after which you should be able to follow the rest of the instructions to build
+a paper.
### Step 2: Using the Bazel Rules
Use the following `WORKSPACE` (modifying `name` as desired):
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback