fix doc bug
Merge git.sv.gnu.org:/srv/git/liberty-eiffel
extended options for build_doc.sh -- useful for debugging
yet another conformance fix in runner
se make now supports the -cc option
tcc support: no __thread + split too long manifest functions arguments
new germ