How to publish a document under GPL