From 064e2d087eafc008377be3547bbed21267468422 Mon Sep 17 00:00:00 2001 From: Lars Magne Ingebrigtsen Date: Fri, 15 Jul 2011 15:59:53 +0200 Subject: [PATCH] Use /dev/null instead of the Windows "nul" in flymake example Fixes: debbugs:8715 --- doc/misc/ChangeLog | 5 +++++ doc/misc/flymake.texi | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index 38cbaafa45..d64980bd1c 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog @@ -1,3 +1,8 @@ +2011-07-15 Lars Magne Ingebrigtsen + + * 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 * widget.texi (Setting Up the Buffer): Remove mention of the diff --git a/doc/misc/flymake.texi b/doc/misc/flymake.texi index 74cf3d630d..625e954944 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 -- 2.20.1