diff options
| -rw-r--r-- | lispintro/.gitignore | 1 | ||||
| -rw-r--r-- | lispref/.gitignore | 1 | ||||
| -rw-r--r-- | man/.gitignore | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/lispintro/.gitignore b/lispintro/.gitignore new file mode 100644 index 00000000000..f3c7a7c5da6 --- /dev/null +++ b/lispintro/.gitignore | |||
| @@ -0,0 +1 @@ | |||
| Makefile | |||
diff --git a/lispref/.gitignore b/lispref/.gitignore new file mode 100644 index 00000000000..f3c7a7c5da6 --- /dev/null +++ b/lispref/.gitignore | |||
| @@ -0,0 +1 @@ | |||
| Makefile | |||
diff --git a/man/.gitignore b/man/.gitignore new file mode 100644 index 00000000000..f3c7a7c5da6 --- /dev/null +++ b/man/.gitignore | |||
| @@ -0,0 +1 @@ | |||
| Makefile | |||