Differences between current version and predecessor to the previous major change of makeinfo(1).
Other diffs: Previous Revision, Previous Author, or view the Annotated Edit History
| Newer page: | version 2 | Last edited on Monday, June 3, 2002 6:50:28 pm | by perry | |
| Older page: | version 1 | Last edited on Monday, June 3, 2002 6:50:28 pm | by perry | Revert |
@@ -83,9 +83,9 @@
__--docbook__
-output DocBook rather than Info.
+output !
DocBook rather than Info.
__--html__
