Hi Waldek,
> Concerning PACKAGE_ stuff, part of it is bloat forced by configure,
> few are used to print messages. If you want new message, then add
> all code needed to support it. But ATM the patch look incomplete...
OK, I feared that you will criticize that patch, so I first proposed it
on the mailing list.
I am currently work on putting all stuff for generating the book and
fricas.github.io into fricas so that everyone can generate the website
and also a local (offline) version of it. Of course, I can hardcode the
data that is already in
configure.ac, but I don't like to double data.
You probably see that it makes sense to have also PACKAGE_NAME,
PACKAGE_BUGREPORT, and PACKAGE_URL available to show them in the
documentation.
Of course, that patch must look incomplete now, but I thought it's small
enough to go in before the big documentation patch.
That brings me to another question, before I spend even more time on it
and then get rejected...
Formerly, I used another (GPL) repository
https://github.com/hemmecke/fricas-doc to generate
fricas.github.io, but
that looked unnecessarirly artificial to me, since I need the fricas
sources in order to generate book and website. The only information that
fricas-doc actually added was a few .rst files. So now I develop a
branch on top of fricas master with all the information and
build-machinery in it. Since I rebase and change commits quite a lot, I
have not proposed it yet officially, but if anyone wants to look and
criticize it, it is at:
https://github.com/hemmecke/fricas/commits/formatted
The last commits are rather messy... they will be cleaned up.
Anyway, the question is whether *you* like the idea of having code and
documentation/website in the same repository. Of course, I would like to
have it that way, because splitting docs and code doesn't make sense for
for me for our rather small repository and I wanted to avoid git
submodules or other stuff to sync the documentation and code versions.
Ralf