Point fix, earlier forgotten

[lyx.git] / src / DepTable.h

diff --git a/src/DepTable.h b/src/DepTable.h
index a3d50ea8b7b3ef31db43bedb2137aacf2f7c358a..f8507797264239a9db339986821c9765335fad27 100644 (file)
--- a/src/DepTable.h
+++ b/src/DepTable.h
@@ -1,16 +1,13 @@
 // -*- C++ -*-
-/* This file is part of
- * ====================================================== 
- * 
- *           LyX, The Document Processor
- *          Copyright 1995 Matthias Ettrich
- *           Copyright 1995-2001 The LyX Team.
- *        
- *           This file is Copyright 1996-2001
- *           Lars Gullik Bjønnes
- *           Ben Stanley
+/**
+ * \file DepTable.h
+ * This file is part of LyX, the document processor.
+ * Licence details can be found in the file COPYING.
  *
- * ====================================================== 
+ * \author Lars Gullik Bjønnes
+ * \author Jean-Marc Lasgouttes
+ *
+ * Full author contact details are available in file CREDITS.
  */
 
 #ifndef DEP_TABLE_H
@@ -19,25 +16,20 @@
 #include "LString.h"
 #include <map>
 
-#ifdef __GNUG__
-#pragma interface
-#endif
-
 ///
 class DepTable {
 public:
        /** This one is a little bit harder since we need the absolute
          filename. Should we insert files with .sty .cls etc as
          extension? */
-       void insert(string const & f,
-                   bool upd = false);
+       void insert(string const & f, bool upd = false);
        ///
        void update();
 
        ///
        void write(string const & f) const;
-       ///
-       void read(string const & f);
+       /// returns true if dep file was read successfully
+       bool read(string const & f);
        /// returns true if any of the files has changed
        bool sumchange() const;
        /// return true if fil has changed.
@@ -47,7 +39,7 @@ public:
        ///
        bool exist(string const & fil) const;
        /// returns true if any files with ext exist
-       bool ext_exist(string const& ext) const;
+       bool ext_exist(string const & ext) const;
        ///
        void remove_files_with_extension(string const &);
        ///
@@ -71,4 +63,3 @@ private:
 };
 
 #endif
-