diff options
| author | David A. Madore <david+git@madore.org> | 2019-01-31 17:55:43 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2019-01-31 17:55:43 +0100 |
| commit | a87744678a7e8d2f92877a2dc4cd66250a50f6d0 (patch) | |
| tree | aed4495b0dea07bc2a387621ae0812f263cba83d | |
| parent | 2c529438ccae4f937aeb001d636b233131fcce77 (diff) | |
| download | inf105-a87744678a7e8d2f92877a2dc4cd66250a50f6d0.tar.gz inf105-a87744678a7e8d2f92877a2dc4cd66250a50f6d0.tar.bz2 inf105-a87744678a7e8d2f92877a2dc4cd66250a50f6d0.zip | |
Prepare for printing.
| -rw-r--r-- | controle-20190205.tex | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/controle-20190205.tex b/controle-20190205.tex index 5c0d78f..6574119 100644 --- a/controle-20190205.tex +++ b/controle-20190205.tex @@ -77,14 +77,6 @@ \date{5 février 2019} \maketitle -{\footnotesize -\immediate\write18{sh ./vc > vcline.tex} -\begin{center} -Git: \input{vcline.tex} -\end{center} -\immediate\write18{echo ' (stale)' >> vcline.tex} -\par} - \pretolerance=8000 \tolerance=50000 @@ -116,14 +108,22 @@ L'usage des appareils électroniques est interdit. Durée : 1h30 -Barème \emph{indicatif} : \textcolor{red}{à remplir}. +Barème \emph{indicatif} : 8+8+4. \ifcorrige -Ce corrigé comporte \textcolor{red}{à remplir} (page de garde incluse) +Ce corrigé comporte 9 pages (page de garde incluse) \else -Cet énoncé comporte \textcolor{red}{à remplir} (page de garde incluse) +Cet énoncé comporte 4 pages (page de garde incluse) \fi +\vfill + +{\tiny\noindent +\immediate\write18{sh ./vc > vcline.tex} +Git: \input{vcline.tex} +\immediate\write18{echo ' (stale)' >> vcline.tex} +\par} + \pagebreak |