<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On 13 May 2016 at 11:14, Vincent Belaïche <span dir="ltr"><<a href="mailto:vincent.belaiche@domain.hid" target="_blank">vincent.belaiche@domain.hidl.com</a>></span> wrote:<br><div><br></div></div><div class="gmail_extra">>I have made a short example attached using @deftypefn, but for</div><div class="gmail_extra">environment I did not find any way to make the second occurrence of the</div><div class="gmail_extra">environment name presented as such (it seems to be some limitation of</div><div class="gmail_extra">Texinfo, no command to recall the function name). Also the indentation</div><div class="gmail_extra">is not so good when you make it multiline (with '@*').</div><div class="gmail_extra"><br></div><div class="gmail_extra">I assume when you say "second occurrence presented as such" you mean the boldface used to highlight the name of the environment?</div><div class="gmail_extra"><br></div><div class="gmail_extra">This is a misuse of the @deffn-type commands. They're not supposed to be used across multiple lines, AFAIK. How about just using the \begin line if you want to use one of the @deffn commands?</div><div class="gmail_extra"><br></div><div class="gmail_extra">>we don't use the @deffn and</div><div class="gmail_extra">suchlikes commands for describing commands & environment</div><div class="gmail_extra"><br></div><div class="gmail_extra">Why do you want to do this? So that you can automatically extract information about the commands and their parameters from the Texinfo file? Macros seem like one possibility for this, allowing processing by other programs that could recognize what they mean.</div><div class="gmail_extra"><br></div><div class="gmail_extra">I found the whole discussion at <a href="https://mail.gna.org/public/latexrefman-discuss/2016-05/msg00004.html">https://mail.gna.org/public/latexrefman-discuss/2016-05/msg00004.html</a>. IMHO it's a waste of time trying to persuade someone to use Texinfo. If they like it fine, otherwise people gonna use what they gonna use. De gustibus non disputandum est.</div><div class="gmail_extra"><br></div><div class="gmail_extra">On the other hand, if there is something that you'd like to express in Texinfo source that you can't, fire away with your suggestions!</div></div></div>