Il semble donc que taper man git init
dans une invite bash sur un système Ubuntu 14.04 fasse la même chose man git-init
, sauf que je ne sais pas trop comment.
La man
page pour man
(c.-à-d. man man
) Ne semble pas autoriser cette construction, à moins qu’elle ne git
figure section
dans le manuel, mais la page de manuel semble provenir de la section 1
.
Est-ce une utilisation non documentée supportée par man
? Ai-je mal compris la documentation man
? Est-ce qu'une autre magie se passe? Quelqu'un veut expliquer?
git init