4 Коммитов

Автор	SHA1	Сообщение	Дата
Benno Schulenberg	6d873d3760	startup: add option 'nopauses' to disable pausing after a warning ... This addresses a followup of https://savannah.gnu.org/bugs/?50362. Reported-by: Mike Frysinger <vapier@gentoo.org>	2017-03-16 19:26:39 +01:00
Benno Schulenberg	926fe5f789	bump version numbers and add a news item for the 2.7.5 release	2017-02-23 11:33:45 +01:00
Benno Schulenberg	f119a90fe5	bump version numbers and add a news item for the 2.7.4 release	2017-01-10 11:29:34 +01:00
Benno Schulenberg	6981294c9d	build: move all documentation into a single directory ... There are just a handful of source files for the documentation -- it is wasteful and cumbersome to have these in separate directories. Also: remove the French man pages -- they are too far out of date. (And anyway, we should acquire a general framework for translating the documentation.)	2016-12-30 22:05:00 +01:00