Revision 5ae6e1fbbb258c1d4fe018845f99fbff6e2b3e7d authored by Andrea Censi on 08 July 2018, 14:44:03 UTC, committed by GitHub on 08 July 2018, 14:44:03 UTC
1 parent 0102903
dependencies_for_laptop.sh
#!/bin/bash
set -e
set -x
./dependencies_common.sh
sudo apt install -y \
bibtex2html \
pdftk
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...