Didier Verna
Didier Verna
Thanks for the report. Indeed, this doesn't seem related to Clon itself. I've opened an issue on Quicklisp controller.
Hi, this should now be fixed, but I'll wait for the next Quicklisp release to see if it works (I guess I need to make a new release for Quicklisp...
Dammit. I forgot to push the new tag last time, so the new version didn't propagate to quicklisp. Sorry...
Hello ! See two messages above. I forgot to push the latest tag to GitHub, so the latest release was not seen by Quicklisp. It should make its way to...
Dammit ! :-( Today's Quicklisp update still doesn't contain the latest release of Clon... I will ping Xach about this.
I did. Cf. [this issue](https://github.com/quicklisp/quicklisp-controller/issues/20#issuecomment-1431806196).
Clon 1.0b26 is in Quicklisp now, so I'm closing this.
Hello, I've started looking into this. About the title, it seems to be an artefact of Texinfo's HTML generation. If you look at the manuals on the Quickref website, you'll...
As for your questions. 1. (and 2 and 4) See section A.2 of the user manual. No control is available right now. At least Markdown and verbatim formatting will come......
More investigation reveals that Texinfo 7 has fixed the duplicated title issue. For former versions (6.8 notably), maybe you can try calling makeinfo with `--set-customization-variable NO_TOP_NODE_OUPUT=true`.