Alexandre Schenberg <ale.schenberg <at> gmail.com> writes: > Is that right? --disable-documentation? configure says it that option > does not exists $ ./configure --help|grep docu --disable-doc do not build documentation Please do not top-post here, it is considered rude. Carl Eugen