Fix info/DIR generation broken by update to Org manual

* build-aux/make-info-dir: Adapt to latest changes in Org manual's
markup.

diff --git a/build-aux/make-info-dir b/build-aux/make-info-dir
index 214757bb65ba313aa5e0206db0e91571bac7f378..38b4d70caee165832c72812d692809e65dab33ea 100755 (executable)
--- a/build-aux/make-info-dir
+++ b/build-aux/make-info-dir
@@ -86,7 +86,7 @@ exec "${AWK-awk}" '
       for (dircat = 0; dircat < ntopics && topic[dircat] != $0; dircat++)
         continue;
     }
-    if (tolower($0) ~ /^#\+texinfo_dir_title/) {
+    if (tolower($0) ~ /^#\+(texinfo_dir_title|texinfo_dir_name)/) {
       sub(/^#[^:]*: /, "")
       ## Note this does not fill any long descriptions.
       data[dircat] = data[dircat] sprintf("* %-30s", ($0 ". "))