What is the license on this manual? GPL. I have been trying to contact all related parties to see if we can change the license to the GFDL; but got tied up with other things. As far as I can see, it shouldn't be such a big problem changing the license.
I'll post a update a bit later on. _______________________________________________ Web-hurd mailing list [email protected] http://lists.gnu.org/mailman/listinfo/web-hurd
