#include "lyxlex.h"
-#include "support/gzstream.h"
+# include <boost/iostreams/filtering_streambuf.hpp>
+# include <boost/iostreams/filter/gzip.hpp>
+# include <boost/iostreams/device/file.hpp>
+namespace io = boost::iostreams;
#include <boost/utility.hpp>
+#include <fstream>
+#include <istream>
#include <stack>
#include <vector>
void pushToken(std::string const &);
/// fb_ is only used to open files, the stream is accessed through is.
std::filebuf fb_;
+
/// gz_ is only used to open files, the stream is accessed through is.
- gz::gzstreambuf gz_;
+ io::filtering_istreambuf gz_;
/// the stream that we use.
std::istream is;