repo.or.cz
/
Ale.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
doc: Make table of contents output more flexible. This re-introduces the indentation...
[Ale.git]
/
doc
/
make-infos
blob
2d801ccc9107ab1ac140bc73578fad576bb9c665
1
#!/usr/bin/perl -w
2
3
while
(<
STDIN
>) {
4
chomp
(
$texi_file
=
$_
);
5
s/[_[:space:]]+/_/g
;
6
s/^_*//g
;
7
s/_*.texi_*//g
;
8
`
$ARGV
[0] -o "
$_
.info" "
$texi_file
"`
;
9
`rm "
$texi_file
"`
;
10
}