ronnie
2022-10-14 1504bb53e29d3d46222c0b3ea994fc494b48e153
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