liyujie
2025-08-28 786ff4f4ca2374bdd9177f2e24b503d43e7a3b93
1
2
3
4
5
6
7
8
9
10
11
12
13
14
#!/bin/bash
 
#
# Based on a script found on the englinemtn-devel mailinglist
# written by Carsten Haitzler <ras...@rasterman.com>
#
 
for f in api/group__*.html
do
   bf=$(basename $f)
 
   grep -oE "href=\"$bf#[a-z0-9]+\">[^<]+</a>" $f |
       sed 's/href="\([^"]*\)">\([^<]*\)<\/a>/\2=api\/\1/'
done