ちなみに、GPL原文では For an executable work, complete source code means all the source code for all modules it contains, plus any associated interface definition files, plus the scripts used to control compilation and installation of the executable. となっている。"script" であって "manual" ではないことに注意。