[Bug manual/13750] Do not build manuals in source directory

[ppluzhnikov at google dot com]

http://sourceware.org/bugzilla/show_bug.cgi?id=13750

Paul Pluzhnikov <ppluzhnikov at google dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ppluzhnikov at google dot
                   |                            |com

-- 
Configure bugmail: http://sourceware.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.