[debian-edu-commits] debian-edu/ 01/01: Updated get_manual script.
Wolfgang Schweer
schweer-guest at moszumanska.debian.org
Sun Oct 26 17:15:01 UTC 2014
This is an automated email from the git hooks/post-receive script.
schweer-guest pushed a commit to branch master
in repository debian-edu-doc.
commit 9003e65d52e1c97abe0e8a2d65e27b862594ec1a
Author: Wolfgang Schweer <wschweer at arcor.de>
Date: Sun Oct 26 18:05:20 2014 +0100
Updated get_manual script.
---
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 27ff40b..25d346a 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/edu~/edu+/g;
+ $s=~s/edu0~/edu0+/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
More information about the debian-edu-commits
mailing list