diff --git a/.gitignore b/.gitignore index 35c7086..5bc9900 100644 --- a/.gitignore +++ b/.gitignore @@ -64,6 +64,8 @@ Makefile.in /help/*/*.stamp /help/*/*.page !/help/C/*.page +/help/*/legal.xml +!/help/C/legal.xml #Documentation related files /docs/reference/*/*.args