///
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? */
///
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? */
/// return true if a file with extension ext has changed.
bool extchanged(std::string const & ext) const;
///
/// return true if a file with extension ext has changed.
bool extchanged(std::string const & ext) const;
///
/// returns true if any files with ext exist
bool ext_exist(std::string const & ext) const;
///
void remove_files_with_extension(std::string const &);
///
/// returns true if any files with ext exist
bool ext_exist(std::string const & ext) const;
///
void remove_files_with_extension(std::string const &);
///