test-suite/coq-makefile/latex1/run.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#!/bin/bash

#set -x
set -e

if which pdflatex; then

. ../template/init.sh
	
coq_makefile -f _CoqProject -o Makefile
make
exec make all.pdf

fi
exit 0 # test skipped