Devhelp: update the link mapping script

p12 · p12 · commit 2ca9f9568785 · 2012-06-20T13:56:24.000+03:00
diff --git a/fix_devhelp-links.sh b/fix_devhelp-links.sh
@@ -20,7 +20,7 @@
 page=$1
 
 #replace a pseudo link in .devhelp2 with the actual link
-pagename=$(cat "$page" | grep 'wgPageName' | awk -F\" '{print $(NF-1)}' )
+pagename=$(cat "$page" | grep "\"wgPageName\"" | sed -e 's/^.*\"wgPageName\"[^\"]*\"\([^\"]*\)\".*$/\1/g' )
 
 echo "<file from=\"$pagename\" to=\"$page\" />" >> ../devhelp-files.xml
 
