aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorCem Keylan <cem@ckyln.com>2020-12-26 02:39:36 +0300
committerCem Keylan <cem@ckyln.com>2020-12-26 03:12:25 +0300
commitd1590234d19724f14e8ba94582986963fce47267 (patch)
tree1bb6273414ef57443b3cdda21f0329b0dc8ae742 /.gitignore
parent06aca27d4b504ea5f42f4611fa3b44d9429bea75 (diff)
downloaddocs-d1590234d19724f14e8ba94582986963fce47267.tar.gz
docs: switch to redo build system.20201226
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore9
1 files changed, 9 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index f65cec4..a93a059 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,5 +2,14 @@ carbslinux
carbslinux.info
*.tar.*
+### Redo files
+/.redo
+/.do_built
+/.do_built.dir
+*.tmp
+*.did
+.dep*
+.target*
+
### Org HTML output
*.html