diff options
Diffstat (limited to 'doc/RefMan.txt')
| -rw-r--r-- | doc/RefMan.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/RefMan.txt b/doc/RefMan.txt index b2ce8a1395..61f05cc13f 100644 --- a/doc/RefMan.txt +++ b/doc/RefMan.txt @@ -3,8 +3,8 @@ TUTORIAL N. Oury GUIDE PASSAGE V7-V8 BB MANUEL DE REFERENCE -\include{RefMan-int}% Introduction HH -\include{RefMan-pre}% Credits HH +\include{RefMan-int}% Introduction HH - relu CP +\include{RefMan-pre}% Credits HH - relu CP \tableofcontents |