summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJonas Bernoulli <jonas@bernoul.li>2021-03-11 16:06:36 +0100
committerJonas Bernoulli <jonas@bernoul.li>2021-03-11 16:49:54 +0100
commiteff65f1d8515df3dc41fb628d54950990a30dbb0 (patch)
tree8455af9a3c3fa18101a89c7c8e8f7ba2ea1036bf /.gitignore
parent8c28b8a4faadd305f77a327b94e23fe78da7a30c (diff)
Revert "manual: Deal with texinfo cross reference idiocy"
This reverts commit baebe85cebd48442325a0071658226da8ce9dab1.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 5cde07e..668ffb9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,7 +2,6 @@
/docs/*.html
/docs/*.info
/docs/*.pdf
-/docs/*.pdf.texi
/docs/dir
/docs/transient/
/lisp/*.elc