So GPL for reference manuals would be fine by you? How about tutorials which may have programs derived from it?
I had this very question with the documentation on http://linux-net.osd.org/
They changed the license from CC sharealike to CC Attribution-sharealike so that the knowledge can be more freely used to derive programs.
Sam