Index: renumber.pup
===================================================================
--- renumber.pup	(nonexistent)
+++ renumber.pup	(revision 8152)
@@ -0,0 +1,4 @@
+#longdesc: Renumber elements (renaming them) and generate a text file for back annotation.
+#state: works
+#default: buildin
+#implements: (feature)