import Paths_linear_maps

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