The GNU Free Documentation License is a good license to use for GPL-licensed application documentation.