[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: debian, gnustep-gui and doc
From: |
Martin Brecher |
Subject: |
Re: debian, gnustep-gui and doc |
Date: |
Sun, 06 Jul 2003 05:26:44 +0200 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.3) Gecko/20030312 |
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Adam Fedor wrote:
|
|
| Well this seems to be causing a lot of trouble (beside this). Maybe we
| should just not build Documentation in the normal build, but provide
| instructions for doing it in the INSTALL file?
|
What about issueing a message both after a normal source build and after
a normal source install.
I.e.:
"If you want to build the documentation, type
make doc=yes
After that, execute
make doc=yes install
to copy the generated files to
$GNUSTEP_INSTALLATION_DIRECTORY/Library/Documentation"
$GNUSTEP_INSTALLATION_DIRECTORY should be automatically substituted, of
course.
Since GNUstep has such fine documentation generating tools, they should
be put to most widely usage I guess....
Greetings,
Martin
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.1 (GNU/Linux)
iD8DBQE/B5bwkWEEBp53XEURAlYuAJ0ZG5nF+BXzpReaNxrMy3V6cBgyEQCeMj8+
N6VLupEBlHbJxMgiDNzWT10=
=CYTS
-----END PGP SIGNATURE-----