diff --git a/src/CPM/Main.curry b/src/CPM/Main.curry index c7d0b9ba7b8943ead6740127d1640466224c3553..26e4e436c63da96e89baea0d594aa72c358e9c68 100644 --- a/src/CPM/Main.curry +++ b/src/CPM/Main.curry @@ -1720,7 +1720,7 @@ newCmd (NewOptions pname) = do putStr $ unlines todo where readme = unlines [pname, take (length pname) (repeat '=')] - gitignore = unlines ["*~", ".cpm", ".curry"] + gitignore = unlines ["*~", ".cpm", ".curry", "Curry_Main_Goal*"] todo = [ "A new package in the directory '" ++ pname ++ "' has been created!"