diff options
-rw-r--r-- | controle-20180206.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/controle-20180206.tex b/controle-20180206.tex index c4aac4c..17ec659 100644 --- a/controle-20180206.tex +++ b/controle-20180206.tex @@ -51,12 +51,12 @@ {\ifcorrige\relax\else\setbox0=\vbox\bgroup\fi% \smallbreak\noindent{\underbar{\textit{Corrigé.}}\quad}} {{\hbox{}\nobreak\hfill\checkmark}% -\ifcorrige\relax\else\egroup\fi\par} +\ifcorrige\par\smallbreak\else\egroup\par\fi} \newenvironment{commentaire}% {\ifcorrige\relax\else\setbox0=\vbox\bgroup\fi% \smallbreak\noindent{\underbar{\textit{Commentaires.}}\quad}} {{\hbox{}\nobreak\hfill\maltese}% -\ifcorrige\relax\else\egroup\fi\par} +\ifcorrige\par\smallbreak\else\egroup\par\fi} % % % NOTE: compile dot files with |