Norman,
So is there a target to build the documentation on its own, say
after you have built all the source?
Steve.
-----Original Message-----
From: Starlink development [mailto:[log in to unmask]] On Behalf Of
Norman Gray
Sent: 21 October 2004 17:43
To: [log in to unmask]
Subject: Re: RHEL 3 Build fail 2
Norman
On 2004 Oct 21 , at 17.22, Rankin, SE (Stephen) wrote:
> Is the --without-stardocs added to the ./configure command?
It can be, or else you can add it to /xxx/etc/config.site. Mine is
currently:
# config.site for configure
# Put (a link to) this file in $prefix/etc/config.site
## disable shared libraries, unless this has been turned on explicitly
#test -z "$enable_shared" && enable_shared=no
# enable shared libraries, unless this has been turned off explicitly
test -z "$enable_shared" && enable_shared=yes
# same for HTML doc generation
test -z "$with_stardocs" && with_stardocs=no
I have this file outside the /xxx tree, and just add a link to it from
/xxx/etc/config.site each time I blow the /xxx tree away.
Norman
--
----------------------------------------------------------------------
Norman Gray : Physics & Astronomy, Glasgow University, UK
http://www.astro.gla.ac.uk/users/norman/ : www.starlink.ac.uk
|