501
edits
Building: Difference between revisions
Jump to navigation
Jump to search
no edit summary
No edit summary |
No edit summary |
||
| Line 157: | Line 157: | ||
| [https://www.gnu.org/software/texinfo/ Texinfo] | | [https://www.gnu.org/software/texinfo/ Texinfo] | ||
| Documentation system that uses a single source to produce both on-line information and printed output. | | Documentation system that uses a single source to produce both on-line information and printed output. | ||
| | | GPL | ||
| | | | ||
| {{codeline|texinfo}} | | {{codeline|texinfo}} | ||