3 Commits (e22d9049ee79e0dfbdd7552aba277eaa5fd15f20)

Author	SHA1	Message	Date
Sébastien Villemot	1ec3923a6b	Build system: by default, error out if LaTeX distribution is not there ... A new --disable-doc configure flag has been introduced to skip the compilation of the documentation.	2019-11-26 12:39:48 +01:00
Sébastien Villemot	3fda763521	Ship logos in source tarball	2019-07-04 15:48:43 +02:00
Houtan Bastani	c2923b0383	build system: integrate documentation	2018-02-19 15:06:10 +01:00