@end quotation
@end copying
-@dircategory Emacs
+@dircategory Emacs misc features
@direntry
* Flymake: (flymake). A universal on-the-fly syntax checker.
@end direntry
@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