Add support for an info version of the user manual
authorDavid Kastrup <dak@gnu.org>
Mon, 6 Aug 2007 10:22:57 +0000 (12:22 +0200)
committerJunio C Hamano <gitster@pobox.com>
Sat, 11 Aug 2007 06:16:18 +0000 (23:16 -0700)
commit4739809cd0ea12a8de006f9f086fdff9285189b8
tree7ad82687f0720c5b5f2d7f9f674b1de52303b448
parentfa548703d1e60231828266856467d3d73ac51f0f
Add support for an info version of the user manual

These patches use docbook2x in order to create an info version of the
git user manual.  No existing Makefile targets (including "all") are
touched, so you need to explicitly say

make info
sudo make install-info

to get git.info created and installed.  If the info target directory
does not already contain a "dir" file, no directory entry is created.
This facilitates $(DESTDIR)-based installations.  The same could be
achieved with

sudo make INSTALL_INFO=: install-info

explicitly.

perl is used for patching up sub-par file and directory information in
the Texinfo file.  It would be cleaner to place the respective info
straight into user-manual.txt or the conversion configurations, but I
find myself unable to find out how to do this with Asciidoc/Texinfo.

Signed-off-by: David Kastrup <dak@gnu.org>
Documentation/Makefile
Documentation/fix-texi.perl [new file with mode: 0755]
Makefile