Generated list of extra texinfo source files.
authordrepper <drepper>
Mon, 13 Jul 1998 12:27:36 +0000 (12:27 +0000)
committerdrepper <drepper>
Mon, 13 Jul 1998 12:27:36 +0000 (12:27 +0000)
commit7e04252dd5e5aa2752723161fe45122a31b12054
tree2d1eb372eab0d306cff8b00f84c83b693032beab
parent10b4d73ca579a39bf967f69bad62e6af9bc6d5d2
Generated list of extra texinfo source files.
manual/texis [new file with mode: 0644]