3 Commits (78d6a97e533e416ae53fff91bde221a7f9524b9a)

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