[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [bug #41125] -make documentation is un-installable

From: Markus Hitter
Subject: Re: [bug #41125] -make documentation is un-installable
Date: Thu, 09 Jan 2014 20:49:09 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.2.0

Am 08.01.2014 13:11, schrieb Niels Grewe:
> In fact it’s very, very easy to switch the documentation to using the
> present (not yet installed) configuration: You just have to set
> GNUSTEP_MAKEFILES=../ at the beginning of Documentation/GNUmakefile.

After evaluating this more closely, it's indeed very good:

- First time I see HTML documentation installed.

- .info documentation is installed again.

- Usage of DESTDIR works fine.

- Unless the documentation installation process is changed drastically,
  makefile fragments in the source dir always share their hierarchy
  with the installed ones. That's how documentation.make works.

- Cleaning works fine.

- Build time for the whole thing almost cut in half (one run of
  configure instead of three).

- About 40 lines of complicated code removed.

The only minor problem not solved is, "make -C Documentation distclean"
_without_ configuring previously errors out (instead of doing
nonsense before).

Patch attached. It adresses Richards concerns in comments.


- - - - - - - - - - - - - - - - - - -
Dipl. Ing. (FH) Markus Hitter

Attachment: 0001-Documentation-GNUmakefile-allow-installation-without.patch
Description: Text Data

reply via email to

[Prev in Thread] Current Thread [Next in Thread]