http://www.gnu.org/licenses/gpl-faq.html#WhyNotGPLForManuals I thought of using the Boost license: http://boost.org/LICENSE_1_0.txt but it is not listed at: http://wiki.debian.org/DFSGLicensesso I am wondering whether it is OK or not. I will start a separate thread for that.
Shriramana Sharma.