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)
commit3ef7aa3ec45a24a647682864efee0d017c0c6a11
treef35ce64dfc81d77a5250aeaed04c501684f0e3ef
parentcbe944a5a9642ab01dfd443d55e1dd32103026a6
Teach git to ignore build directory.

Create .gitignore file telling git to ignore the directory created
when building the documentation using the Makefile.
.gitignore [new file with mode: 0644]