import Paths_linear_maps

main = getDataFileName "Intro.html" >>= putStrLn