initial commit

This commit is contained in:
Mauro Torrez
2022-07-30 14:46:04 -03:00
commit 47650131de
312 changed files with 212465 additions and 0 deletions

10
doc/make-infos Executable file
View File

@@ -0,0 +1,10 @@
#!/usr/bin/perl -w
while(<STDIN>) {
chomp($texi_file = $_);
s/[_[:space:]]+/_/g;
s/^_*//g;
s/_*.texi_*//g;
`$ARGV[0] -o "$_.info" "$texi_file"`;
`rm "$texi_file"`;
}