diff options
| author | Eli Zaretskii | 2024-06-12 11:46:36 +0300 |
|---|---|---|
| committer | Eli Zaretskii | 2024-06-12 11:46:36 +0300 |
| commit | eb5aafb0f4cf7d2f5f12e2eb3a4324c3d5834db7 (patch) | |
| tree | 6d580c3e976f5192961525fbb614a96cebb2eb43 | |
| parent | af9bf86bd74d36f3a94187a47986efe0e2703a73 (diff) | |
| download | emacs-eb5aafb0f4cf7d2f5f12e2eb3a4324c3d5834db7.tar.gz emacs-eb5aafb0f4cf7d2f5f12e2eb3a4324c3d5834db7.zip | |
Fix info/DIR generation broken by update to Org manual
* build-aux/make-info-dir: Adapt to latest changes in Org manual's
markup.
| -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}" ' | |||
| 86 | for (dircat = 0; dircat < ntopics && topic[dircat] != $0; dircat++) | 86 | for (dircat = 0; dircat < ntopics && topic[dircat] != $0; dircat++) |
| 87 | continue; | 87 | continue; |
| 88 | } | 88 | } |
| 89 | if (tolower($0) ~ /^#\+texinfo_dir_title/) { | 89 | if (tolower($0) ~ /^#\+(texinfo_dir_title|texinfo_dir_name)/) { |
| 90 | sub(/^#[^:]*: /, "") | 90 | sub(/^#[^:]*: /, "") |
| 91 | ## Note this does not fill any long descriptions. | 91 | ## Note this does not fill any long descriptions. |
| 92 | data[dircat] = data[dircat] sprintf("* %-30s", ($0 ". ")) | 92 | data[dircat] = data[dircat] sprintf("* %-30s", ($0 ". ")) |