Subversion Repositories wimsdev

Rev

Rev 14945 | Rev 15722 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 14945 Rev 15715
Line 78... Line 78...
78 
        <code>$string</code>
 78 
        <code>$string</code>
79 
        <ul>" >> $tmp
 79 
        <ul>" >> $tmp
80 
        p=1
 80 
        p=1
81 
      else
 81 
      else
82 
        p=2
 82 
        p=2
83 
        alt=`echo "$line" | grep "@ alternative :" | awk '{ print $4 }' | tr -d '[:blank:]'`
 83 
        alt=`echo "$line" | grep "@ alternative:" | awk -F'alternative:' '{ print $2 }' | tr -d '[:blank:]'`
84 
        if [ ! -z $alt ] ; then
 84 
        if [ ! -z $alt ] ; then
85 
          echo ",'$alt'" >> $keys
 85 
          echo ",'$alt'" >> $keys
86 
          echo "<td><a id='${alt}_top' href='#$idx'>$alt</a></td>" >> $phtml
 86 
          echo "<td><a id='${alt}_top' href='#$idx'>$alt</a></td>" >> $phtml
87 
          echo "<li><span>alternative command: <a id='$alt' href='#${alt}_top'>$alt</a></span></li>" >> $tmp
 87 
          echo "<li><span>alternative command: <a id='$alt' href='#${alt}_top'><code>$alt</code></a></span></li>" >> $tmp
88 
        else
 88 
        else
89 
          echo $line | sed 's/@/<li>/g' | sed "s/''/<span class=\"wims_emph\">/g" | sed "s!\`\`!</span>!g" >> $tmp
 89 
          echo $line | sed 's/@/<li>/g' | sed "s/''/<span class=\"wims_emph\">/g" | sed "s!\`\`!</span>!g" >> $tmp
90 
          echo "</li>" >> $tmp
 90 
          echo "</li>" >> $tmp
91 
        fi
 91 
        fi
92 
      fi
 92 
      fi
Line 121... Line 121...
121 
      echo "</ul>" >> $tmp
 121 
      echo "</ul>" >> $tmp
122 
    fi
 122 
    fi
123 
    p=0
 123 
    p=0
124 
  fi
 124 
  fi
125 
done < $in
 125 
done < $in
126 
 
 - 
 
127 
 
 126 
 
128 
echo "</ul>" >> $phtml
 127 
echo "</ul>" >> $phtml
129 
 
 128 
 
130 
cat $tmp >> $phtml
 129 
cat $tmp >> $phtml
131 
 
 - 
 
132 
keywords=`cat $keys | tr -d '\n'`
 130 
keywords=`cat $keys | tr -d '\n'`
133 
echo "
 131 
echo "
134 
<script>
 132 
<script>
135 
 var keys = ['canvasdraw' $keywords];
 133 
 var keys = ['canvasdraw' $keywords];
136 
 var keys_len = keys.length;
 134 
 var keys_len = keys.length;