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 | 064e2d087eafc008377be3547bbed21267468422 (patch) | |
| tree | 91e85dabc70872bbe5e47405d38b1840aa9765e2 /doc/misc/flymake.texi | |
| parent | 1b5eaeb36cb630692e7a9c523f49ad7e9c9e2263 (diff) | |
| download | emacs-064e2d087eafc008377be3547bbed21267468422.tar.gz | |
Use /dev/null instead of the Windows "nul" in flymake example
Fixes: debbugs:8715
Diffstat (limited to 'doc/misc/flymake.texi')
| -rw-r--r-- | doc/misc/flymake.texi | 2 |
1 files changed, 1 insertions, 1 deletions
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 |