| 1 | #!/bin/sh |
| 2 | |
| 3 | awk ' |
| 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 | ' |