Use /dev/null instead of the Windows "nul" in flymake example

Fixes: debbugs:8715

diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog
index 38cbaafa45d146d6db482fb97b21f14ea66766ca..d64980bd1c87b713ac15ce2c235f5b9d85a52239 100644 (file)
--- a/doc/misc/ChangeLog
+++ b/doc/misc/ChangeLog
@@ -1,3 +1,8 @@
+2011-07-15  Lars Magne Ingebrigtsen  <larsi@gnus.org>
+
+       * flymake.texi (Example -- Configuring a tool called via make):
+       Use /dev/null instead of the Windows "nul" (bug#8715).
+
 2011-07-14  Lars Magne Ingebrigtsen  <larsi@gnus.org>
 
        * widget.texi (Setting Up the Buffer): Remove mention of the

diff --git a/doc/misc/flymake.texi b/doc/misc/flymake.texi
index 74cf3d630da7667108673147e9117b57fdaef025..625e9549444b192d510db1a0cfc4b356518db619 100644 (file)
--- a/doc/misc/flymake.texi
+++ b/doc/misc/flymake.texi
@@ -483,7 +483,7 @@ our case this target might look like this:
 
 @verbatim
 check-syntax:
-       gcc -o nul -S ${CHK_SOURCES}
+       gcc -o /dev/null -S ${CHK_SOURCES}
 @end verbatim
 
 The format of error messages reported by @code{gcc} is already