diff options
| -rw-r--r-- | doc/PG-adapting.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index ee57de5c..0529d391 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -265,8 +265,8 @@ webpage}. @node Credits @unnumberedsec Credits -This manual was put together mostly written by David Aspinall. Thomas -Kleymann wrote some of the material in @ref{Handling multiple files}. +This manual was put together and mostly written by David Aspinall. Thomas +Kleymann wrote some of the text in Chapter 8. Much of the content is generated automatically from Emacs docstrings, some of which have been written by other Proof General developers. |