Remove "org.texi" from source tree

* .gitignore: Ignore doc/org.texi * doc/org.texi: Remove file.
2018-05-09 02:25:02 +02:00 · 2018-05-09 02:25:02 +02:00 · 1289cfe218
parent c87d70439b
commit 1289cfe218
2 changed files with 1 additions and 21806 deletions
--- a/.gitignore
+++ b/.gitignore
@ -32,6 +32,7 @@ orgcard.txt
 org
 org-loaddefs.el
 org-version.el
+doc/org.texi
 doc/org-version.inc
 doc/org-version.tex
 org-*.tar*
--- a/doc/org.texi
+++ b/doc/org.texi