diff options
author | Lars Magne Ingebrigtsen <larsi@gnus.org> | 2011-07-15 15:59:53 +0200 |
---|---|---|
committer | Lars Magne Ingebrigtsen <larsi@gnus.org> | 2011-07-15 15:59:53 +0200 |
commit | d1ba0fb985dd7a9a75a3d30cf9213c11eb51f2a4 (patch) | |
tree | 2938d35c009c8977badf0db149567a206cddac45 /doc | |
parent | 7616635caa8ddddd9a7e3bde1bb78a3c3bce5e1b (diff) | |
download | emacs-d1ba0fb985dd7a9a75a3d30cf9213c11eb51f2a4.tar.gz |
Use /dev/null instead of the Windows "nul" in flymake example
Diffstat (limited to 'doc')
-rw-r--r-- | doc/misc/ChangeLog | 5 | ||||
-rw-r--r-- | doc/misc/flymake.texi | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index 2fa82151f4d..4261883a920 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 |