10 if [ "$DEBUG" != "" ]; then
14 for r in $releases; do
18 for f in docs/man$r/man$s/*.html; do
20 # Check that it's a rendered manpage
21 if grep -F '<!-- OSSL: description:' $f > /dev/null; then
24 for x in $releases; do
25 if [ "$x" = "$r" ]; then
28 if [ -f "docs/man$x/man$s/$b.html" ]; then
29 existsin="$existsin $x"
33 if [ "$existsin" != "" ]; then
39 for x in $existsin; do
41 <li><a href="/docs/man$x/man$s/$b.html">$x version</a></li>
49 ) > docs/man$r/man$s/$b.cross