aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorXinglu Chen <public@yoctocell.xyz>2021-03-13 11:04:04 +0100
committerXinglu Chen <public@yoctocell.xyz>2021-03-13 11:06:26 +0100
commitb777d8e69944a1455bff4261920642ab1fb4518e (patch)
tree9649110a4b83a1be4223d1b17d3c95c04c53419c /.gitignore
parent49571ab4c2ddd07db68aac300bdbc9c6bfd31b0b (diff)
doc: Write manual in Texinfo.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore3
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 52ca0e7..68189a8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
-/doc/git-email.texi
+/doc/git-email.info
+/doc/html
/result