[PATCH 4/4] compile: New 'compile print'

[Eli Zaretskii]

> Date: Fri, 27 Mar 2015 10:20:29 +0000
> From: Phil Muldoon <pmuldoon@redhat.com>
> CC: gdb-patches@sourceware.org
> 
> Other than the edits you have suggested (thank you for those!) do you
> have any additional documentation edits that might help to address the
> preconceived notions the user might have?

No.  I don't think it's an issue that documentation can solve.