Add a makefile line to copy -mode.info to the root

dieter-wilhelm · Mar 31, 2020 · c887461 · c887461
1 parent 0c655a0
commit c887461
Show file tree

Hide file tree

Showing 6 changed files with 1,594 additions and 3,805 deletions.
diff --git a/.gitignore b/.gitignore
@@ -12,6 +12,7 @@ TAGS
 *.sig
 *.tgz
 *.pdf
+*.texi
 *.tex
 *.gz
 *.xz
-Original file line number
+Diff line change
@@ Expand Up / @@ -12,6 +12,7 @@ TAGS @@
     *.sig
     *.tgz
     *.pdf
+    *.texi
     *.tex
     *.gz
     *.xz
@@ Expand Down @@