summaryrefslogtreecommitdiffstats
path: root/divers/renommage-labels.pl
diff options
context:
space:
mode:
authorDavid A. Madore <david@procyon.(none)>2009-08-05 13:00:16 +0200
committerDavid A. Madore <david@procyon.(none)>2009-08-05 13:00:16 +0200
commit14f06d5c53faf2ae0f78e4825863189b3e31ddb2 (patch)
treea30b31238bea0d24a69c1f56cc09a2d9d73115fb /divers/renommage-labels.pl
parent35d7167131d9a99756a6fdf0f3470cd5951468e2 (diff)
downloadgalois-14f06d5c53faf2ae0f78e4825863189b3e31ddb2.tar.gz
galois-14f06d5c53faf2ae0f78e4825863189b3e31ddb2.tar.bz2
galois-14f06d5c53faf2ae0f78e4825863189b3e31ddb2.zip
Ajout du script Perl qui a servi à renommer les labels, pour information.
Diffstat (limited to 'divers/renommage-labels.pl')
-rw-r--r--divers/renommage-labels.pl19
1 files changed, 19 insertions, 0 deletions
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;
+}