From 3540541a0f5d6a177138f808d218abc67380da9d Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Sun, 1 Dec 2019 23:52:47 +0000 Subject: [PATCH] doc: Remove useless local variables from top-level texi files. --- doc/pspp-dev.texi | 4 ---- doc/pspp.texi | 5 ----- 2 files changed, 9 deletions(-) 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: -- 2.30.2