Index: auctex/doc/Makefile.in
diff -u auctex/doc/Makefile.in:1.38 auctex/doc/Makefile.in:1.39
--- auctex/doc/Makefile.in:1.38 Tue May 30 21:56:23 2006
+++ auctex/doc/Makefile.in      Wed May 31 07:50:11 2006
@@ -5,7 +5,7 @@
 [EMAIL PROTECTED]@
 [EMAIL PROTECTED]@
 [EMAIL PROTECTED]@
-MAKEINFO_PLAIN=-D rawfile --no-headers --no-validate
+MAKEINFO_PLAIN=-D rawfile --no-headers
 [EMAIL PROTECTED]@
 [EMAIL PROTECTED]@
 [EMAIL PROTECTED]@


_______________________________________________
auctex-diffs mailing list
[EMAIL PROTECTED]
http://lists.gnu.org/mailman/listinfo/auctex-diffs

Reply via email to