Teach git to ignore build directory.
authorAlexander Borkowski <alexander.borkowski@kau.se>
Tue, 2 Jun 2020 12:02:05 +0000 (14:02 +0200)
committerAlexander Borkowski <alexander.borkowski@kau.se>
Wed, 3 Jun 2020 06:51:29 +0000 (06:51 +0000)
Create .gitignore file telling git to ignore the directory created
when building the documentation using the Makefile.

.gitignore [new file with mode: 0644]

diff --git a/.gitignore b/.gitignore
new file mode 100644 (file)
index 0000000..faa22f8
--- /dev/null
@@ -0,0 +1,2 @@
+# See BUILDDIR in Makefile.
+build/