tips: texi.rst@22ffd80639c0 (annotated)

733 c86db1b20879 Convert texi to html. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	1	-- mode: outline; coding: utf-8 --
c86db1b20879 Convert texi to html. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	2
c86db1b20879 Convert texi to html. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	3	* Convert texi to html.
c86db1b20879 Convert texi to html. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	4
c86db1b20879 Convert texi to html. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	5	** texi2html.
c86db1b20879 Convert texi to html. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	6
c86db1b20879 Convert texi to html. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	7	http://www.mathematik.uni-kl.de/~obachman/Texi2html/
c86db1b20879 Convert texi to html. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	8	Texi2html's Homepage
c86db1b20879 Convert texi to html. Oleksandr Gavenko <gavenkoa@gmail.com> parents: diff changeset	9
841 a6d2c01cc279 Install/uninstall texi files. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 733 diff changeset	10	* Install texi files.
a6d2c01cc279 Install/uninstall texi files. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 733 diff changeset	11
a6d2c01cc279 Install/uninstall texi files. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 733 diff changeset	12	$ install -m 444 my.info.gz /usr/local/share/info
a6d2c01cc279 Install/uninstall texi files. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 733 diff changeset	13	$ cd /usr/local/share/info
a6d2c01cc279 Install/uninstall texi files. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 733 diff changeset	14	$ install-info --name=my --entry="My utilities." my.info.gz dir
a6d2c01cc279 Install/uninstall texi files. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 733 diff changeset	15
a6d2c01cc279 Install/uninstall texi files. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 733 diff changeset	16	For debug you can use '--dry-run' (do nothing).
a6d2c01cc279 Install/uninstall texi files. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 733 diff changeset	17
a6d2c01cc279 Install/uninstall texi files. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 733 diff changeset	18	* Uninstall texi files.
a6d2c01cc279 Install/uninstall texi files. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 733 diff changeset	19
a6d2c01cc279 Install/uninstall texi files. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 733 diff changeset	20	$ cd /usr/local/share/info
a6d2c01cc279 Install/uninstall texi files. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 733 diff changeset	21	$ install-info --delete my.info.gz dir
a6d2c01cc279 Install/uninstall texi files. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 733 diff changeset	22	$ rm my.info.gz
a6d2c01cc279 Install/uninstall texi files. Oleksandr Gavenko <gavenkoa@gmail.com> parents: 733 diff changeset	23

author	Oleksandr Gavenko <gavenkoa@gmail.com>
	Wed, 05 Aug 2015 23:55:34 +0300
changeset 1729	22ffd80639c0
parent 841	a6d2c01cc279
permissions	-rw-r--r--