-
Kevin J. McCarthy authored
If docbook2x-texi and makeinfo are installed, convert the docbook file to info and install as another source for the manual.
95c4c5c2
If docbook2x-texi and makeinfo are installed, convert the docbook file to info and install as another source for the manual.