| commit | 332514673554a38aacbd584cb83293bb1cedfd4f | |
| author | Didier Verna <didier@lrde.epita.fr> | |
| Fri, 11 Mar 2011 14:33:27 +0000 (11 15:33 +0100) | ||
| committer | Didier Verna <didier@lrde.epita.fr> | |
| Fri, 11 Mar 2011 14:33:27 +0000 (11 15:33 +0100) | ||
| tree | b9f4a0dbc3c0a10928481ea0f5b753f77d42d006 | treesnapshot (tar.gz zip) |
| parent | ea4bfd42d7c7dc3d167e6e6933e3cddf1c538282 | commitdiff |
Document the command-line polling API.
doc/ ChangeLog addition:
2011-03-11 Didier Verna <didier@lrde.epita.fr>
* user.texi (Command-Line Polling): New subsubsection. Document
cmdline-options-p and cmdline-p.
* user.texi (Using Multiple Contexts):
* user.texi (Runtime Phase API): Update accordingly.
* user.texi (Acknowledgments): Mention Erik Winkels.
doc/ ChangeLog addition:
2011-03-11 Didier Verna <didier@lrde.epita.fr>
* user.texi (Command-Line Polling): New subsubsection. Document
cmdline-options-p and cmdline-p.
* user.texi (Using Multiple Contexts):
* user.texi (Runtime Phase API): Update accordingly.
* user.texi (Acknowledgments): Mention Erik Winkels.
| doc/user.texi | diffblobblamehistory |