diff options
Diffstat (limited to 'doc/misc/Makefile.in')
| -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 |