texi.rst
author Oleksandr Gavenko <gavenkoa@gmail.com>
Wed, 19 Dec 2018 14:07:30 +0200
changeset 2307 08aa10b9c7ff
parent 1912 8b81a8f0f692
permissions -rw-r--r--
Add timestamp to Vagrant log.

.. -*- coding: utf-8; -*-

======
 Texi
======
.. contents::
   :local:

Convert texi to html
====================

With ``texi2html``::

  http://www.mathematik.uni-kl.de/~obachman/Texi2html/
    Texi2html's Homepage

Install texi files
==================
::

  $ install -m 444  my.info.gz /usr/local/share/info
  $ cd /usr/local/share/info
  $ install-info --name=my --entry="My utilities." my.info.gz dir

For debug you can use ``--dry-run`` (do nothing).

Uninstall texi files
====================
::

  $ cd /usr/local/share/info
  $ install-info --delete my.info.gz dir
  $ rm my.info.gz