doc: copying information has to be in the titlepage for pdf output, for non pdf output, include it in the preface

doc/starpu.texi

@@ -7,6 +7,25 @@
 
 @include version.texi
 
+@copying
+Copyright @copyright{} 2009--2011  Universit@'e de Bordeaux 1
+
+@noindent
+Copyright @copyright{} 2010, 2011  Centre National de la Recherche Scientifique
+
+@noindent
+Copyright @copyright{} 2011 Institut National de Recherche en Informatique et Automatique
+
+@quotation
+Permission is granted to copy, distribute and/or modify this document
+under the terms of the GNU Free Documentation License, Version 1.3
+or any later version published by the Free Software Foundation;
+with no Invariant Sections, no Front-Cover Texts, and no Back-Cover
+Texts.  A copy of the license is included in the section entitled ``GNU
+Free Documentation License''.
+@end quotation
+@end copying
+
 @setchapternewpage odd
 @dircategory Development
 @direntry
@@ -20,6 +39,8 @@
 @page
 @vskip 0pt plus 1fill
 
+@insertcopying
+
 @end titlepage
 
 @c @summarycontents
@@ -32,26 +53,9 @@
 This manual documents the usage of StarPU version @value{VERSION}.  It
 was last updated on @value{UPDATED}.
 
-@copying
-Copyright @copyright{} 2009--2011  Universit@'e de Bordeaux 1
-
-@noindent
-Copyright @copyright{} 2010, 2011  Centre National de la Recherche Scientifique
-
-@noindent
-Copyright @copyright{} 2011 Institut National de Recherche en Informatique et Automatique
-
-@quotation
-Permission is granted to copy, distribute and/or modify this document
-under the terms of the GNU Free Documentation License, Version 1.3
-or any later version published by the Free Software Foundation;
-with no Invariant Sections, no Front-Cover Texts, and no Back-Cover
-Texts.  A copy of the license is included in the section entitled ``GNU
-Free Documentation License''.
-@end quotation
-@end copying
-
+@ifnottex
 @insertcopying
+@end ifnottex
 
 @comment
 @comment  When you add a new menu item, please keep the right hand