Carsten Ziegeler wrote:
As our documentation is now managed by Daisy, we don't have the docs in the source repository anymore. For the release we should include docs in the distributions.It seems to me that we have three choices (please correct me if I'm wrong): 1) a PDF of the whole doc
-1 to PDF only
2) a set of HTML files 3) Both
+1 to these two Vadim
