/** 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.