--- /dev/null
+module Main where
+
+import Test.DocTest ( doctest )
+
+-- | There's some kind of goddamned bug causing the doctests to commit
+-- suicide when run on src/Main.hs. Since we only have doctests in
+-- TSN.Codegen for now, just test that.
+--
+main :: IO ()
+main = doctest [ "-isrc",
+ "-idist/build/autogen",
+ "src/TSN/Codegen.hs" ]