diff options
author | Erik Martin-Dorel <erik@martin-dorel.org> | 2016-07-23 15:58:47 +0200 |
---|---|---|
committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2016-07-23 15:58:47 +0200 |
commit | ceaec9b3e98da7978516f69abca33f65e10f3b03 (patch) | |
tree | 398d1659abf7dcea8fbfe5459fa30395fd1c5d14 /doc/PG-adapting.texi | |
parent | 417c65d194ea3ffbb2a85d2475b8f5dcb63dd0db (diff) |
Run "make magic" to update texi comments from elisp docstrings.
Diffstat (limited to 'doc/PG-adapting.texi')
-rw-r--r-- | doc/PG-adapting.texi | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index 078fa93c..bd265a6a 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -1970,6 +1970,9 @@ This setting is used inside the function @samp{@code{proof-format-filename}}. @defvar proof-shell-process-connection-type The value of @samp{@code{process-connection-type}} for the proof shell.@* Set non-nil for ptys, nil for pipes. + +@var{note}: In emacs >= 24 (checked for 24 and 25.0.50.1), t is not a +good choice: input is cut after @var{4095} chars, which hangs pg. @end defvar @c TEXI DOCSTRING MAGIC: proof-shell-handle-error-or-interrupt-hook |