diff --git a/Filtres-Pandoc/remove-superfluous-spaces.sh b/Filtres-Pandoc/remove-superfluous-spaces.sh index ad182e8..18ce6f2 100755 --- a/Filtres-Pandoc/remove-superfluous-spaces.sh +++ b/Filtres-Pandoc/remove-superfluous-spaces.sh @@ -18,6 +18,12 @@ # ######################################################################## +#################################################################################### +# Le filtre remove-superfluous-spaces.sh devrait être remplacé par un filtre Lua. # +# Si son exécution cause une erreur sur votre système ou si vous utilisez Windows, # +# n'hésitez pas à m'écrire pour que je me décide à régler ce problème. # +#################################################################################### + sed 's/ "},{"t":"Space"},/ "},/g' - | # Espace simple ajoutée entre le prénom et le nom. sed 's/,{"t":"Space"},{"t":"Str","c":" /,{"t":"Str","c":" /g' | # sed 's/. ,"}/.,"}/g' | # Espace insécable ajoutée après le prénom quand celui-ci vient après le nom (du fait du style CSL).