From 14f06d5c53faf2ae0f78e4825863189b3e31ddb2 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david@procyon.(none)>
Date: Wed, 5 Aug 2009 13:00:16 +0200
Subject: =?UTF-8?q?Ajout=20du=20script=20Perl=20qui=20a=20servi=20=C3=A0?=
 =?UTF-8?q?=20renommer=20les=20labels,=20pour=20information.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 divers/renommage-labels.pl | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 divers/renommage-labels.pl

(limited to 'divers')

diff --git a/divers/renommage-labels.pl b/divers/renommage-labels.pl
new file mode 100644
index 0000000..034531b
--- /dev/null
+++ b/divers/renommage-labels.pl
@@ -0,0 +1,19 @@
+#! /usr/local/bin/perl
+
+# Retire certains caractèrs (souligné, circonflexe) des labels en les
+# remplaçant par des tirets.  À utiliser avec un fichier .tex en
+# argument, et le résultat sort sur la sortie standard
+# (donc typiquement faire:
+# ./renommage-labels.pl truc.tex > truc.tex.new && mv truc.tex.new truc.tex
+# ).
+
+sub changeul {
+    my $s = shift;
+    $s =~ s/[\_\^\:]/\-/g;
+    return $s;
+}
+
+while (<>) {
+    s/\\(label|ref)\{(.*?)\}/sprintf("\\%s{%s}",$1,changeul($2))/ge;
+    print;
+}
-- 
cgit v1.2.1