diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2024-06-12 11:46:36 +0300 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2024-06-12 11:46:36 +0300 |
| commit | eb5aafb0f4cf7d2f5f12e2eb3a4324c3d5834db7 (patch) | |
| tree | 6d580c3e976f5192961525fbb614a96cebb2eb43 /build-aux | |
| parent | af9bf86bd74d36f3a94187a47986efe0e2703a73 (diff) | |
Fix info/DIR generation broken by update to Org manual
* build-aux/make-info-dir: Adapt to latest changes in Org manual's
markup.
Diffstat (limited to 'build-aux')
| -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 ". ")) |