Git fork
1#!/bin/sh
2
3awk '
4 /^@setfilename/{
5 print "@setfilename git.info"
6 next
7 }
8 /^@direntry/{
9 direntry=1
10 print "@dircategory Development"
11 print "@direntry"
12 print "* Git: (git). A fast distributed revision control system"
13 print "@end direntry"
14 next
15 }
16 /^@end direntry/{
17 direntry=0
18 next
19 }
20 !direntry
21'