Fix info/DIR generation broken by update to Org manual

* build-aux/make-info-dir: Adapt to latest changes in Org manual's
markup.
This commit is contained in:
Eli Zaretskii 2024-06-12 11:46:36 +03:00
parent af9bf86bd7
commit eb5aafb0f4

View file

@ -86,7 +86,7 @@ exec "${AWK-awk}" '
for (dircat = 0; dircat < ntopics && topic[dircat] != $0; dircat++) for (dircat = 0; dircat < ntopics && topic[dircat] != $0; dircat++)
continue; continue;
} }
if (tolower($0) ~ /^#\+texinfo_dir_title/) { if (tolower($0) ~ /^#\+(texinfo_dir_title|texinfo_dir_name)/) {
sub(/^#[^:]*: /, "") sub(/^#[^:]*: /, "")
## Note this does not fill any long descriptions. ## Note this does not fill any long descriptions.
data[dircat] = data[dircat] sprintf("* %-30s", ($0 ". ")) data[dircat] = data[dircat] sprintf("* %-30s", ($0 ". "))