Browse Source

doc/starpu.texi: @top is only needed for info and should define the name of the document

Nathalie Furmento 12 years ago
parent
commit
fe55b3b3b5
1 changed files with 3 additions and 1 deletions
  1. 3 1
      doc/starpu.texi

+ 3 - 1
doc/starpu.texi

@@ -48,7 +48,9 @@ Free Documentation License''.
 @page
 
 @node Top
-@top Preface
+@ifinfo
+@top StarPU Handbook
+@end ifinfo
 
 This manual documents the usage of StarPU version @value{VERSION}.  It
 was last updated on @value{UPDATED}.