gryf/wmaker
1
0
Fork 0
mirror of https://github.com/gryf/wmaker.git synced 2025-12-19 04:20:27 +01:00
Code Issues Projects Releases Wiki Activity

texi2txt: fix support embedded item lists to allow nested lists

Browse Source 
There are some cases where it can be useful to embed a list of item into
another list; the script was almost ready to handle this case, this patch
brings the missing stuff to get it to work properly.

Signed-off-by: Christophe CURIS <christophe.curis@free.fr>
This commit is contained in:
Christophe CURIS
2015-04-06 17:58:00 +02:00
committed by Carlos R. Mafra
parent 355a2e6906
commit 438accb312
1 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
script/generate-txt-from-texi.sh
View File

@@ -239,6 +239,7 @@ function par_mode_push(mode, local_i) {
par_mode_save_length[par_mode_count] = line_length; par_mode_save_length[par_mode_count] = line_length;
par_mode_save_prefix[par_mode_count] = line_prefix; par_mode_save_prefix[par_mode_count] = line_prefix;
par_mode_save_justify[par_mode_count] = par_justify; par_mode_save_justify[par_mode_count] = par_justify;
par_mode_save_itemmark[par_mode_count] = item_list_mark;
par_mode = mode; par_mode = mode;
# Check for quality of output # Check for quality of output
@@ -256,6 +257,7 @@ function par_mode_pop(mode, local_i) {
line_length = par_mode_save_length[par_mode_count]; line_length = par_mode_save_length[par_mode_count];
line_prefix = par_mode_save_prefix[par_mode_count]; line_prefix = par_mode_save_prefix[par_mode_count];
par_justify = par_mode_save_justify[par_mode_count]; par_justify = par_mode_save_justify[par_mode_count];
item_list_mark = par_mode_save_itemmark[par_mode_count];
par_mode_count--; par_mode_count--;
} }
@@ -452,7 +454,12 @@ function start_item_list(mark) {
list_is_first_item = 1; list_is_first_item = 1;
list_item_wants_sepline = 0; list_item_wants_sepline = 0;
par_indent = 1; par_indent = 1;
line_prefix = " "; if (line_prefix == "") {
# First level of enumeration get one mode indentation space
line_prefix = " ";
} else {
line_prefix = line_prefix " ";
}
if (mark == "") { if (mark == "") {
item_list_mark = "*"; item_list_mark = "*";
} else { } else {