j
k
j a
j l
...Nouvelle commande (texinfo 4.7). Euh... C'est pas grave du tout puisque vous fournissez la sortie info, et que la TeX, vous fournissez texinfo.tex.
Nouvelle commande (texinfo 4.7). Euh... C'est pas grave du tout puisque vous fournissez la sortie info, et que la TeX, vous fournissez texinfo.tex.
Oui. C'est checkin dans la 10.180. -- Niels
Back to the thread
Back to the list
