Docs: it's package-install, not install-package
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Tue, 17 Sep 2013 17:06:12 +0000 (19:06 +0200)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Tue, 17 Sep 2013 17:06:12 +0000 (19:06 +0200)
commit4fdfd9d971888bba41bc46919792a28c478573de
treeb3b657b7ed0c9a3a32d87a5a610197d611369cba
parent393305d2fcf612f4e5f99383f680f819b458c326
Docs: it's package-install, not install-package
doc/install.texi