Re: makeinfo
>>>>> "Stef" == Stephane Leclerc <sleclerc@actionweb.fr> writes:
Stef> merci, ce tips est bien, je l'apprend par coeur.
Pour une exécution plus rapide que dpkg -S:
# apt-get install dlocate
% dlocate makeinfo
emacs20: /usr/share/emacs/20.3/lisp/textmodes/makeinfo.elc
xemacs20-support: /usr/lib/xemacs-20.4/lisp/packages/makeinfo.elc
emacs20-el: /usr/share/emacs/20.3/lisp/textmodes/makeinfo.el
texinfo: /usr/bin/makeinfo
texinfo: /usr/man/man1/makeinfo.1.gz
Sam
--
Samuel Tardieu -- sam@debian.org
Reply to: