thedirname=`echo $M | sed -e 's/.*www-\(.*\)/\1/g'`
#
# Message to indicate what we are building
+ echo ""
+ echo ""
echo "$thedirname Manual"
#
# Where to find HTML files
fi
done
#
+# Anchor management
+readdir=""
+for M in ${LIST}
+do
+ #
+ # Extract the directory name: console, developers, main, etc.
+ thedirname=`echo $M | sed -e 's/.*www-\(.*\)/\1/g'`
+ #
+ # Where to find HTML files
+ readdir="${readdir} $SOURCEDIRHEAD/$thedirname/$thedirname"
+done
+echo "./handle-xr-references.pl -m \"${readdir}\" -i list-of-anchors -l en"
+./handle-xr-references.pl -m "${readdir}" -i list-of-anchors -l en
+#
# Copy images
cp -v ${SOURCEIMAGEDIR}/png/*.png ${DESTIMAGEDIR}/