Change #239891

Comments

Add @documentinfo, @publication, @maketitle.
* doc/texinfo.tex
(@documentinfo): Define environment.
(@title, @subtitle, @author): If inside @documentinfo environment,
save argument.
(@publication): Add command, working like @copying.
(@maketitle): Output title page and title page verso, depending
on what information is available from @documentinfo, @publication
and @copying.

Suggestions from Patrice.

Changed files

• ChangeLog
• doc/texinfo.tex