From: Lars Magne Ingebrigtsen <larsi@gnus.org>
Date: Fri, 15 Jul 2011 13:59:53 +0000 (+0200)
Subject: Use /dev/null instead of the Windows "nul" in flymake example
X-Git-Tag: emacs-pretest-24.0.90~104^2~251
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=064e2d087eafc008377be3547bbed21267468422;p=emacs.git

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 38cbaafa45d..d64980bd1c8 100644
--- 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 74cf3d630da..625e9549444 100644
--- 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