Wishlist item: provide source for documentation

[Antti-Juhani Kaijanaho]

Could you please provide sources to the Hugs documentation, too? The fact
that you offer several produced formats and that the HTML looks like it has
been generated from DocBook markup (the Docbook HTML stylesheets generate a
rather unique look:), tells me that you have such sources.  Why not
distribute them?

As motivation I refer you to http://www.gnu.org/philosophy/free-doc.html,
which talks about having free documentation (which Hugs has) but whose
arguments apply to having sources to the docs, too: like software,
documentation is best modified in source form.

This would help me, as I am preparing the Debian distribution of Hugs: it
would be cool if I could just ship the sources and generate the formats from
that for the binary distribution. Now I must duplicate the HTML, PDF and
whatnot in the source archive (which must be provided to comply with Debian
policy).

Thanks.

-- 
%%% Antti-Juhani Kaijanaho % [EMAIL PROTECTED] % http://www.iki.fi/gaia/ %%%

   "... memory leaks are quite acceptable in many applications ..."
    (Bjarne Stroustrup, The Design and Evolution of C++, page 220)