7 Commits

Author	SHA1	Message	Date
Matt Turner	6b1d0006bc	build: Add option to control internal vs external synctex ... Gentoo doesn't have a separate synctex package (it's part of the large texlive-core package), and we'd prefer to use the internal code to avoid the dependency. This option lets us ensure that we will always use the internal synctex code, regardless of whether synctex is available on the system.	2021-06-26 04:45:21 +00:00
Germán Poo-Caamaño	745364b03c	build: Use devel icon for unstable version installed ... * Help visually distinguish the development version from the stable one.	2021-06-23 20:38:33 +00:00
Germán Poo-Caamaño	77eae75c58	browser-plugin: Remove browser-plugin support ... Epiphany deprecated support for NPAPI for 3.30, and when enabled manually it will not download the PDF document from the network. Therefore, it does not make sense to keep the browser-plugin anymore. Fixes #968	2021-06-09 00:58:51 -04:00
Nelson Benítez León	9e979b8206	meson: add 'user_doc' option ... so we have the option to not build the yelp user documentation so to speed up builds while developing. Defaults to true to keep existing behaviour.	2020-05-21 17:05:27 +00:00
Germán Poo-Caamaño	384a3d0e7f	Revert "build: Remove browser-plugin from meson options" ... This reverts commit 523d584fb8. Necessary to build the browser-plugin using meson, as the browser-plugin has been restored.	2019-02-04 17:55:20 -03:00
Germán Poo-Caamaño	523d584fb8	build: Remove browser-plugin from meson options ... We removed browser-plugin on MR !70, and we are removing a leftover in the options.	2018-10-08 16:50:29 -03:00
Iñigo Martínez	d69158ecf0	build: Port to Meson build system ... Meson is a build system focused on speed and ease of use, which helps speed up software development. This patch adds Meson support alongside Autotools.	2018-09-24 10:28:33 +02:00