Add comments for vim syntax highlighting.

* doc/autoconf.texi: Restore font-lock in some examples using
$$, for vim.

Signed-off-by: Ralf Wildenhues <Ralf.Wildenhues@gmx.de>

diff --git a/ChangeLog b/ChangeLog
index 297db2dcc4e19e3c3d218a46e3f41eaa46701920..d59487e9288d1499c627cf109553fa3f7df2b79b 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 2010-06-22  Ralf Wildenhues  <Ralf.Wildenhues@gmx.de>
 
+       Add comments for vim syntax highlighting.
+       * doc/autoconf.texi: Restore font-lock in some examples using
+       $$, for vim.
+
        Formatting cleanups for optional arguments.
        * doc/autoconf.texi (Configuration Actions, Help Formatting)
        (External Software): Use @r{} for brackets denoting optional

diff --git a/doc/autoconf.texi b/doc/autoconf.texi
index 9172bd7cb91489ace07477eb0a7e160311eed6c6..77013d43303fdab8ecfa5b9ab089cd0015b78f41 100644 (file)
--- a/doc/autoconf.texi
+++ b/doc/autoconf.texi
@@ -2855,6 +2855,7 @@ autoheader autom4te: Makefile
         srcdir=''; \
           test -f ./$@@.in || srcdir=$(srcdir)/; \
           $(edit) $$@{srcdir@}$@@.in >$@@.tmp
+@c $$ restore font-lock
         chmod +x $@@.tmp
         chmod a-w $@@.tmp
         mv $@@.tmp $@@
@@ -10853,6 +10854,7 @@ use the following special escapes:
 
 @table @samp
 @item $$
+@c $$ restore font-lock
 The character @samp{$}.
 
 @item $f
@@ -18063,6 +18065,7 @@ Here is sample code to create a new temporary directory safely:
   test -n "$tmp" && test -d "$tmp"
 @} || @{
   tmp=$TMPDIR/foo$$-$RANDOM
+@c $$ restore font-lock
   (umask 077 && mkdir "$tmp")
 @} || exit $?
 @end example
@@ -19165,6 +19168,7 @@ install-HEADERS: $(HEADERS)
           $(INSTALL) -m 644 \
             `test -f $$i || echo $(VPATH)/`$$i \
             $(DESTDIR)$(includedir)/$$i; \
+@c $$ restore font-lock
         done
 @end example
 
@@ -19243,6 +19247,7 @@ install-HEADERS: $(HEADERS)
           $(INSTALL) -m 644 \
             `test -f $$i || echo $(VPATH)/`$$i \
             $(DESTDIR)$(includedir)/$$i; \
+@c $$ restore font-lock
         done
 @end example
 
@@ -20977,6 +20982,7 @@ install:
 uninstall:
         for p in $(PROGRAMS); do \
           rm -f $(DESTDIR)$(bindir)/`echo $$p | sed '$(transform)'`; \
+@c $$ restore font-lock
         done
 @end example