Re: [PATCH] Fix documentation installation

2005-08-12 Thread Petr Baudis
Dear diary, on Fri, Aug 12, 2005 at 11:11:45PM CEST, I got a letter where Petr Baudis <[EMAIL PROTECTED]> told me that... > diff --git a/tools/Makefile b/tools/Makefile > --- a/tools/Makefile > +++ b/tools/Makefile > @@ -18,7 +18,7 @@ git-%: %.c > all: $(PROGRAMS) > > install: $(PROGRAMS) $(SCR

[PATCH] Fix documentation installation

2005-08-12 Thread Petr Baudis
Documentation's install target now depends on man since it installs manpages. It now also installs the .txt files, to $prefix/share/doc/cogito/txt/ by default. A separate install-html target was added for installing .html files to $prefix/share/doc/cogito/html/. It isn't part of the install target