EXTRA_DIST = dolfin_log.h \
             Buffer.h \
             CursesLogger.h \
             Message.h \
             GenericLogger.h \
             Logger.h \
             LoggerMacros.h \
             LogManager.h \
             LogStream.h \
             Progress.h \
             SilentLogger.h \
             TerminalLogger.h
