repo.or.cz
/
git
/
repo.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Merge commit 'refs/top-bases/girocco' into girocco
[git/repo.git]
/
Documentation
/
fix-texi.perl
blob
ff7d78f620a35fb66c47e50c4eceecff00b643b3
1
#!/usr/bin/perl -w
2
3
while
(<>) {
4
if
(
/^\@setfilename/
) {
5
$_
=
"\
@setfilename
git.info
\n
"
;
6
}
elsif
(
/^\@direntry/
) {
7
print
'
@dircategory
Development
8
@direntry
9
* Git: (git). A fast distributed revision control system
10
@end
direntry
11
'
; }
12
unless
(
/^\@direntry/
..
/^\@end direntry/
) {
13
print
;
14
}
15
}