Rev 15731 | Rev 17177 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 15731 | Rev 15733 | ||
---|---|---|---|
Line 87... | Line 87... | ||
87 | alt=`echo "$line" | grep "@ alternative:" | awk -F'alternative:' '{ print $2 }' | tr -d '[:blank:]'` |
87 | alt=`echo "$line" | grep "@ alternative:" | awk -F'alternative:' '{ print $2 }' | tr -d '[:blank:]'` |
88 | # it's a command alias |
88 | # it's a command alias |
89 | if [ ! -z $alt ] ; then |
89 | if [ ! -z $alt ] ; then |
90 | echo ",'$alt'" >> $keys |
90 | echo ",'$alt'" >> $keys |
91 | echo "<a href='#$idx'>$alt</a>" >> $phtml |
91 | echo "<a href='#$idx'>$alt</a>" >> $phtml |
92 | echo "<li><span>alternative command: <a href='#${alt}_top'><code>$alt</code></a></span></li>" >> $tmp |
92 | echo "<li><span>alternative command: <a id='${alt}' href='#${alt}_top'><code>$alt</code></a></span></li>" >> $tmp |
93 | else |
93 | else |
94 | echo $line | sed 's/@/<li>/g' | sed "s/''/<span class=\"wims_emph\">/g" | sed "s!\`\`!</span>!g" >> $tmp |
94 | echo $line | sed 's/@/<li>/g' | sed "s/''/<span class=\"wims_emph\">/g" | sed "s!\`\`!</span>!g" >> $tmp |
95 | echo "</li>" >> $tmp |
95 | echo "</li>" >> $tmp |
96 | fi |
96 | fi |
97 | fi |
97 | fi |