From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 1 Dec 2019 23:52:47 +0000 (+0000)
Subject: doc: Remove useless local variables from top-level texi files.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3540541a0f5d6a177138f808d218abc67380da9d;p=pspp

doc: Remove useless local variables from top-level texi files.
---

diff --git a/doc/pspp-dev.texi b/doc/pspp-dev.texi
index 1570271a22..88a417bb14 100644
--- a/doc/pspp-dev.texi
+++ b/doc/pspp-dev.texi
@@ -120,7 +120,3 @@ Free Documentation License".
 @include fdl.texi
 
 @bye
-
-@c Local Variables:
-@c compile-command: "makeinfo pspp-dev.texi"
-@c End:
diff --git a/doc/pspp.texi b/doc/pspp.texi
index 4562069eb4..7da31a4e83 100644
--- a/doc/pspp.texi
+++ b/doc/pspp.texi
@@ -162,8 +162,3 @@ in the production of this manual.
 @include fdl.texi
 
 @bye
-
-@c Local Variables:
-@c use (texinfo-multiple-files-update "pspp.texi")  in emacs to keep these files consistent
-@c compile-command: "makeinfo pspp.texi"
-@c End: