aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJonas Bernoulli <jonas@bernoul.li>2020-01-23 18:47:26 +0100
committerJonas Bernoulli <jonas@bernoul.li>2020-01-23 18:47:26 +0100
commit09cc8072b1634312f9f52fdad9ca9405e3bb83ea (patch)
treee65d07d1383a55ea57444cb5be6e07d54cc1a3b7 /.gitignore
parent88d5e4aa7bf7d5038edf76fa00795a98aeb08856 (diff)
make: Build and publish the magit-section manual
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 5c62342..dc67577 100644
--- a/.gitignore
+++ b/.gitignore
@@ -11,6 +11,7 @@
/Documentation/dir
/Documentation/epub.xml
/Documentation/magit/
+/Documentation/magit-section/
/Documentation/mimetype
/Documentation/stats/
/config.mk