diff options
| -rwxr-xr-x | build-aux/make-info-dir | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build-aux/make-info-dir b/build-aux/make-info-dir index 214757bb65b..38b4d70caee 100755 --- 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 ". ")) |