diff options
| author | Vincent Belaïche <vincentb1@users.sourceforge.net> | 2026-05-30 16:40:59 +0200 |
|---|---|---|
| committer | Vincent Belaïche <vincentb1@users.sourceforge.net> | 2026-05-31 14:22:34 +0200 |
| commit | 3d01d53c1e345e144dc0089bc47647bfdc50b4bf (patch) | |
| tree | 1583b80cf05c15153af549a376183adb097f0bc9 | |
| parent | 1f662e2ab70486f7051ebc890620393e2a8879d9 (diff) | |
Make doc/ build fail on DOCLANG=dummy
* doc/misc/Makefile.in (DOCLANG): Call 'error' when asked to
produce manuals for a language we don't know about.
| -rw-r--r-- | doc/misc/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in index 1d0a55e997e..11a2dc3d517 100644 --- a/doc/misc/Makefile.in +++ b/doc/misc/Makefile.in @@ -66,6 +66,7 @@ MAKEINFO_OPTS = --force -I$(emacsdir) ifeq ($(DOCLANG),) DOCLANG:=default else ifeq ($(wildcard $(srcdir)/../translations/$(DOCLANG)/info_common.mk),) +$(error No manual language $(DOCLANG) found) DOCLANG:=default endif |