Files
emacs/doc/misc
Eli Zaretskii 00adeb43e9 Improve the Flymake manual
* doc/misc/flymake.texi: Add a 'coding' cookie.  Add a
@syncodeindex directive for @vindex.  Use 2 spaces between
sentences.  Lower-case @cindex entries.
(Overview of Flymake): Fix use of @itemize and @pxref.  Fix
punctuation and markup.
(Backend exceptions): Use @emph instead of @dfn.  Add more
indexing.
(Customizable variables, Extending Flymake): Improve wording.
(Flymake error types): Fix usage of @itemize.  Improve wording.
(Backend functions): Fix punctuation.  Fix markup.  Add a
cross-reference to ELisp manual.
(Flymake utility functions): Add a cross-reference to ELisp manual.
(An annotated example backend): Fix punctuation and typos.
(Flymake mode, Running the syntax check)
(Navigating to error lines, Backend exceptions)
(Customizable variables, Flymake error types, Backend functions)
(Flymake utility functions, Proc customization variables)
(Locating a master file, Locating the buildfile)
(Starting the syntax check process, Parsing the output)
(Interaction with other modes): Fix indexing.  Add index entries
for functions, variables, and concepts.
2017-10-10 17:08:51 +03:00
..
2017-02-07 18:29:02 +02:00
2017-01-01 04:01:41 +00:00
2017-09-29 17:48:22 -07:00
2017-10-01 19:59:01 -07:00
2017-01-01 04:01:41 +00:00
2017-03-31 17:27:08 +09:00
2017-10-01 18:31:10 -07:00
2017-03-14 16:12:29 +09:00
2017-01-01 04:01:41 +00:00
2017-10-01 19:59:01 -07:00
2017-10-01 19:59:01 -07:00
2017-04-04 08:23:46 +02:00
2017-01-01 04:01:41 +00:00
2017-10-01 19:59:01 -07:00
2017-10-01 13:31:39 +02:00
2017-01-01 04:01:41 +00:00
2017-01-01 01:10:47 -08:00
2017-10-10 17:08:51 +03:00
2017-01-01 04:01:41 +00:00
2017-01-01 04:01:41 +00:00
2017-10-01 18:31:10 -07:00
2017-01-01 04:01:41 +00:00
2016-12-31 19:42:26 -08:00
2017-01-01 04:01:41 +00:00
2017-01-01 04:01:41 +00:00
2017-01-01 04:01:41 +00:00
2017-01-01 04:01:41 +00:00
2017-10-05 21:30:05 +02:00
2017-10-01 19:59:01 -07:00
2017-01-01 04:01:41 +00:00
2017-01-01 04:01:41 +00:00
2017-01-01 04:01:41 +00:00
2017-01-01 04:01:41 +00:00
2017-01-01 01:10:47 -08:00
2016-12-31 19:42:26 -08:00
2017-01-01 04:01:41 +00:00
2017-10-09 22:55:06 -07:00
2017-01-01 04:01:41 +00:00
2017-01-01 01:10:47 -08:00
2017-01-01 04:01:41 +00:00
2017-09-17 13:06:54 -07:00
2016-12-31 19:42:26 -08:00
2017-09-18 18:00:07 +02:00
2017-01-01 04:01:41 +00:00
2017-01-01 04:01:41 +00:00
2017-01-01 04:01:41 +00:00
2017-01-01 04:01:41 +00:00