Tools needed to create texinfo format documentation files. Texinfo is a documentation system that uses a single source file to produce both. Makeinfo translates texinfo source documentation to various other formats. Org x11 libxtst runtime library, fedora 30 for i386, libxtst1.
Make download apk, deb, eopkg, ipk, rpm, tgz, txz, xz, zst. In at least ubuntu when using bash, it tells you what package you need to install if you type in a command and its not found in your path. A gnu tool which simplifies the build process for users. Makeinfo translates texinfo source documentation to various other formats, by default info files suitable for reading online with emacs or standalone gnu info. Rpm download apk, deb, eopkg, rpm, tgz, txz, xz, zst. Stella is a centosbased linux distribution with focus on userfriendly desktop computing with gnome 2 and outofthebox support for many popular multimedia. Oracle asmlib downloads for red hat enterprise linux 5. The section creating an info file of the texinfo manual states that makeinfo is a program that converts a texinfo file into an info file, html file, or plain text the texinfo home page explains that texinfo itself is the official documentation format of the gnu project and that it uses a single source file. Translator for converting texinfo documents to info format. Syntactically, build dependencies look just like install dependencies in a spec file with build.
Rpm resource usrbin makeinfo found 105 rpm for usrbin makeinfo package. Download rpm packages for alpine, alt linux, arch linux, centos, debian, fedora, mageia, netbsd, openmandriva, opensuse, pclinuxos, slackware, solus, ubuntu. Get project updates, sponsored content from our select partners, and more. Download makeinfo packages for alt linux, opensuse. A few words on what is makeinfo other answers cover how do i get it well. Texinfo download apk, deb, eopkg, rpm, tgz, txz, xz, zst.
1187 889 1269 1055 667 237 33 1414 888 1299 1557 488 404 1121 282 279 1326 1000 976 571 402 1096 726 1390 1478 449 1133 440 668 1406 1061 686 1050 1042 453 1056 423 347 664 889 338 1456 776 1099