Locally generated builtin file for ion manual does not show a man page section for all builtins of ion.

Example:

the online ion manual under this link shows a man page section about the builtin history.

If however you build the builtin section locally via

make manual

and then show the local ion manual in the browser via

mdbook serve manual --open

and then go under the chapter 14. Builtin Commands in the local Ion manual.

there is nothing to be found about the builtin history !

Solution:

• Find out a complete list of all builtins of the Ion shell
• Make them appear in the generating process of the builtin chapter. To do that, find the entry point of the builtins, missing in the docs, and annotate it with the builtin macro provided by Ion shell.