X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fpspp-dev.texi;h=88a417bb146ef21f074f82224375c3841f40d683;hb=c8f256a85dcce5cd02711e387f3d42d41646646b;hp=1570271a222e0936fc69b43241d85a740fba976e;hpb=53f132c7a4afb6bdf7335b5ce4df3c8b7aab8dbe;p=pspp

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: