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

[pspp] / doc / pspp-dev.texi

diff --git a/doc/pspp-dev.texi b/doc/pspp-dev.texi
index 1570271a222e0936fc69b43241d85a740fba976e..88a417bb146ef21f074f82224375c3841f40d683 100644 (file)
--- 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: