diff options
-rwxr-xr-x | build/tex-filter.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/build/tex-filter.hs b/build/tex-filter.hs index 13701c3..5d11f07 100755 --- a/build/tex-filter.hs +++ b/build/tex-filter.hs | |||
@@ -8,14 +8,14 @@ import Control.Applicative | |||
8 | import qualified Data.ByteString.Char8 as BS | 8 | import qualified Data.ByteString.Char8 as BS |
9 | import Crypto.Hash | 9 | import Crypto.Hash |
10 | import qualified System.IO as SIO | 10 | import qualified System.IO as SIO |
11 | import System.IO.Strict | 11 | import System.IO.Strict hiding (writeFile, readFile) |
12 | import System.Directory | 12 | import System.Directory |
13 | import System.FilePath | 13 | import System.FilePath |
14 | import Text.Printf | 14 | import Text.Printf |
15 | 15 | ||
16 | import qualified Data.Text | 16 | import qualified Data.Text |
17 | 17 | ||
18 | import Prelude hiding (readFile) | 18 | import Prelude |
19 | 19 | ||
20 | type TeX = String | 20 | type TeX = String |
21 | type RawHTML = String | 21 | type RawHTML = String |