Fix get-include-infos.awk to unwrap formatted asciidoc titles