Le 31/07/2023 à 13:43, JP Guillonneau a écrit :
Bonjour, voici une mise à jour d’une page de manuel descendue à moins de 80 % à cause d’une modification des macros pour les guillemets et le caret (mise en évidence avec manfuzzy.sh). Merci d’avance pour vos relectures et commentaires. Amicalement
Bonjour, RAS LucienPS : en ce qui concerne manfuzzy.sh, je l'utilise avec une deuxième copie du fichier car le script modifie les fins de ligne.