Skip to main content

Browse the archive

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 
Move PDFs in the root.
1 parent 670b81e
Raw File
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
back to top