Fix #1: Build without warnings #3

Merged
mgrettondann merged 5 commits from origin/1-compile-without-warnings into main 2024-03-15 15:39:46 +00:00
Showing only changes of commit 6d436f82a6 - Show all commits

View File

@@ -1378,7 +1378,7 @@ is forced when generating HTML.
int saved_number_flag = number_flag;
number_flag = TRUE;
collect_numbers(aux_name);
write_html(source_name, tex_name, 0/*Dummy */);
write_html(source_name, tex_name);
number_flag = saved_number_flag;
}
else {