info.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; -*-

==========
 GNU info
==========
.. contents::
   :local:

How to install info files?
==========================
::

  $ cd autobook
  $ make info
  ...
  $ ls autobook.info*
  autobook.info  autobook.info-1  autobook.info-2  autobook.info-3
  $ cp autobook.info* $HOME/usr/share/info
  $ /usr/bin/install-info --info-dir=$HOME/usr/share/info autobook.info

or automated::

  # Under Debian you need use 'ginstall-info' instead 'install-info'.
  for i in `find . -name "*.info" -o -name "*.info-*"`; do
    cp  $i ~/usr/share/info
    install-info  $i ~/usr/share/info/dir
  done

Remove duplicated item in dir file
==================================
::

  $ install-info --add-once ${info_file} /path/to/dir