diff --git a/.gitignore b/.gitignore index 5aa1681..e05ebcd 100644 --- a/.gitignore +++ b/.gitignore @@ -4,4 +4,4 @@ **trash **~ **.~undo-tree -/docs/manual.info \ No newline at end of file +/doc/*.info \ No newline at end of file