[latexrefman-discuss] permission to incorporate latex docs into devdocs.io
Karl Berry
karl at domain.hid
Thu Dec 31 23:34:12 CET 2015
Hi Alex - the latex2e.texi license just says to preserve the license
notice, and hence allow users to further copy/modify. It's the old GNU
documentation license (pre-GFDL). So I don't see a problem with devdocs
providing a munged version. Of course it would be nice to provide the
sources you use as well.
Also, we continue to actively work on latex2e.texi. Given the plethora
of things I see on devdocs.io, I suppose you (they) have a process to
pull updates. I hope so, since distributing stale information wouldn't
be especially helpful to anyone :).
Best,
Karl
More information about the latexrefman
mailing list