diff --git a/.gitignore b/.gitignore index b1b4e8b..c368de6 100644 --- a/.gitignore +++ b/.gitignore @@ -3,3 +3,6 @@ doc/* index.html ldoc.css topics/* + +#Ignore generated rocks +*.rock