summaryrefslogtreecommitdiffstats
path: root/configuration
diff options
context:
space:
mode:
authorFabrice (Darwin) <Fabrice.Orgogozo+git@gmail.com>2012-02-01 11:04:38 +0100
committerFabrice Orgogozo <Fabrice.Orgogozo+git@gmail.com>2012-02-01 11:04:38 +0100
commit60d33d21bbbfc153ad4745cc3c7d06402fc1806c (patch)
tree7b9501e8af37b47843783c7c91cff63c849addcc /configuration
parentc28f3132927d73f91cf9f4be450dc75dd9c2be3f (diff)
downloadgalois-60d33d21bbbfc153ad4745cc3c7d06402fc1806c.zip
galois-60d33d21bbbfc153ad4745cc3c7d06402fc1806c.tar.gz
galois-60d33d21bbbfc153ad4745cc3c7d06402fc1806c.tar.bz2
[macros] de quoi mettre des commentaires en marge
Diffstat (limited to 'configuration')
-rw-r--r--configuration/encoredesmacros.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/configuration/encoredesmacros.tex b/configuration/encoredesmacros.tex
index 31b3ede..ce28540 100644
--- a/configuration/encoredesmacros.tex
+++ b/configuration/encoredesmacros.tex
@@ -12,5 +12,5 @@
\def\dbend{{\manual\char127}}
\newcommand{\version}{\begin{center}\small{version du \VCDate\ à \VCHM\,\textsc{tu}}\, {\tiny (\texttt{\VCRevision})\\ \ifx\VCModified=0 \VCModifiedText \fi}\end{center}}
-
+\newcommand\commentaire[1]{\marginpar{\textcolor{Magenta}{#1}}}
\def\russe#1{\foreignlanguage{russian}{#1}}