[debian-edu-commits] debian-edu/ 01/05: Revert "Updated get_manual script."

[Holger Levsen]

This is an automated email from the git hooks/post-receive script.

holger pushed a commit to branch master
in repository debian-edu-doc.

commit 33bcede3df4457101a8ee5acf3bbda09013720ef
Author: Holger Levsen <holger at layer-acht.org>
Date:   Sun Oct 26 18:48:46 2014 +0100

    Revert "Updated get_manual script."
    
    This reverts commit 9003e65d52e1c97abe0e8a2d65e27b862594ec1a.
---
 documentation/scripts/get_manual | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/documentation/scripts/get_manual b/documentation/scripts/get_manual
index 25d346a..27ff40b 100755
--- a/documentation/scripts/get_manual
+++ b/documentation/scripts/get_manual
@@ -41,7 +41,7 @@ unique_section_ids() {
 	-e 'my %ids; sub escape {
         my $s = shift;
 	$s=~s/ /_/g;
-	$s=~s/edu0~/edu0+/g;
+	$s=~s/edu~/edu+/g;
 	$s=~s/"/.22/g;
 	$s=~s/\+/+-/g;
 	$s=~s/\//+AC8/g;

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-edu/debian-edu-doc.git