diff options
| -rw-r--r-- | Doc/info/Makefile | 4 | ||||
| -rw-r--r-- | Misc/NEWS | 1 |
2 files changed, 3 insertions, 2 deletions
diff --git a/Doc/info/Makefile b/Doc/info/Makefile index 3dbbd74..a9a037b 100644 --- a/Doc/info/Makefile +++ b/Doc/info/Makefile @@ -34,10 +34,10 @@ $(WHATSNEW): python$(VERSION)-$(WHATSNEW).info check-emacs-version: @v="`$(EMACS) --version 2>&1 | egrep '^(GNU |X)Emacs [12]*'`"; \ - if `echo "$$v" | grep '^GNU Emacs 21' >/dev/null 2>&1`; then \ + if `echo "$$v" | grep '^GNU Emacs 2[12]' >/dev/null 2>&1`; then \ echo "Using $(EMACS) to build the info docs"; \ else \ - echo "GNU Emacs 21 is required to build the info docs"; \ + echo "GNU Emacs 21 or 22 is required to build the info docs"; \ echo "Found $$v"; \ false; \ fi @@ -958,6 +958,7 @@ Build - Fix the build of the library reference in info format. +- Allow Emacs 22 for building the documentation in info format. C API ----- |