#!/bin/bash
# mode d'emploi: mettre les exos et figures dans le repertoire sources-test/exos et
# sources-test/figures, et lancer exos test.

source exos-variables
 
$BIN/exos-make-tex 
$BIN/exos-compile -1