Update commandline-options.texi
commitf5ed3d444402710270b70e93a5d8b762f1928c5a
authorRaymond Toy <toy.raymond@gmail.com>
Fri, 26 Jul 2024 21:36:29 +0000 (26 14:36 -0700)
committerRaymond Toy <toy.raymond@gmail.com>
Fri, 26 Jul 2024 21:36:29 +0000 (26 14:36 -0700)
tree096559058c7f2881040d0b18d2d274b2ad2dde81
parente2c9741ef9b4d12d371d5830b4a66b0f1f07501f
Update commandline-options.texi

Use `(list-cl-options *maxima-options* :texi-table-form t)` to
generate the table of command line options in
commandline-options.texi.
doc/info/commandline-options.texi