From: Ben Pfaff 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: