Revision e2b1a61486e8b7d75200231cf645b5442373f048 authored by Simon Tournier on 24 November 2023, 17:55:53 UTC, committed by Simon Tournier on 24 November 2023, 17:55:53 UTC
1 parent 670b81e
do-note.sh
#!/usr/bin/env bash
here=$(pwd)
cd src
if [ -f support.snm ]
then
guix time-machine -C channels.scm \
-- shell -C -m manifest.scm \
-- rubber --pdf note.tex
fi
cd $here
if [ ! -f src/support.snm ]
then
echo Missing src/support.snm: Clean and Redo all...
./redo-all.sh
fi
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...