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
|