doxygen: fix membership to misc_tools module

* src/misc/bareword.hh, src/misc/bitvect.hh, src/misc/escape.hh,
src/misc/hashfunc.hh, src/misc/intvcmp2.hh, src/misc/intvcomp.hh,
src/misc/random.hh, src/misc/timer.hh, src/misc/tmpfile.hh: Use ingroup
rather than addtogroup.

src/misc/bareword.hh

@@ -27,7 +27,10 @@
 
 namespace spot
 {
-  /// \addtogroup misc_tools Miscellaneous helper algorithms
+  /// \defgroup misc_tools Miscellaneous helper functions
+
+
+  /// \ingroup misc_tools
   /// @{
   /// \brief Whether a word is bare.
   ///

src/misc/bitvect.hh

@@ -29,7 +29,7 @@
 
 namespace spot
 {
-  /// \addtogroup misc_tools
+  /// \ingroup misc_tools
   /// @{
 
   class bitvect;

src/misc/escape.hh

@@ -28,7 +28,7 @@
 
 namespace spot
 {
-  /// \addtogroup misc_tools
+  /// \ingroup misc_tools
   /// @{
 
   /// \brief Double characters <code>"</code> in strings.

src/misc/hashfunc.hh

@@ -26,8 +26,10 @@
 
 namespace spot
 {
-  /// \addtogroup hash_funcs Hashing functions
+  /// \defgroup hash_funcs Hashing functions
   /// \ingroup misc_tools
+
+  /// \ingroup hash_funcs
   /// @{
 
   /// \brief Thomas Wang's 32 bit hash function.

src/misc/intvcmp2.hh

 // -*- coding: utf-8 -*-
-// Copyright (C) 2011, 2013 Laboratoire de Recherche et Developpement de
-// l'Epita (LRDE).
+// Copyright (C) 2011, 2013, 2015 Laboratoire de Recherche et
+// Developpement de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
 //
@@ -25,7 +25,7 @@
 
 namespace spot
 {
-  /// \addtogroup misc_tools
+  /// \ingroup misc_tools
   /// @{
 
   /// \brief Compress an int array of size \a n into a int array.

src/misc/intvcomp.hh

 // -*- coding: utf-8 -*-
-// Copyright (C) 2011, 2013 Laboratoire de Recherche et Developpement
-// de l'Epita (LRDE).
+// Copyright (C) 2011, 2013, 2015 Laboratoire de Recherche et
+// Developpement de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
 //
@@ -25,7 +25,7 @@
 
 namespace spot
 {
-  /// \addtogroup misc_tools
+  /// \ingroup misc_tools
   /// @{
 
   /// Compress an int vector into a vector of unsigned int.

src/misc/random.hh

@@ -29,8 +29,10 @@
 
 namespace spot
 {
-  /// \addtogroup random Random functions
+  /// \defgroup random Random functions
   /// \ingroup misc_tools
+
+  /// \ingroup random
   /// @{
 
   /// \brief Reset the seed of the pseudo-random number generator.

src/misc/timer.hh

 // -*- coding: utf-8 -*-
-// Copyright (C) 2009, 2011, 2012, 2013, 2014 Laboratoire de Recherche
-// et Développement de l'Epita (LRDE).
+// Copyright (C) 2009, 2011, 2012, 2013, 2014, 2015 Laboratoire de
+// Recherche et Développement de l'Epita (LRDE).
 // Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
@@ -37,7 +37,7 @@
 
 namespace spot
 {
-  /// \addtogroup misc_tools
+  /// \ingroup misc_tools
   /// @{
 
 

src/misc/tmpfile.hh

 // -*- coding: utf-8 -*-
-// Copyright (C) 2013, 2015 Laboratoire de Recherche et Développement
+// Copyright (C) 2013, 2015 Laboratoire de Recherche et Développement
 // de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
@@ -28,7 +28,7 @@
 
 namespace spot
 {
-  /// \addtogroup misc_tools
+  /// \ingroup misc_tools
   /// @{
 
   /// \brief Temporary file name