From mboxrd@z Thu Jan  1 00:00:00 1970
From: Alex Buell <alex.buell@tahallah.demon.co.uk>
To: Linux-Egcs <egcs@cygnus.com>, Linux Glibc <glibc-linux@ricardo.ecn.wfu.edu>
Cc: alex.buell@tahallah.demon.co.uk
Subject: [OFFTOPIC] Info files vs Man pages
Date: Mon, 14 Sep 1998 14:04:00 -0000
Message-id: <Pine.LNX.3.96.980914170353.150A-100000@lo-pc3035a>
X-SW-Source: 1998-09/msg00807.html

Please, please, can we have an option to disable generation of info files
completely and an option to enable generation of man pages. 

That way, I can do --disable-info-files --enable-man-pages, and not bloat
my system with info files which I never read - I find man pages superior. 

Am I right in assuming man and info files are generated from the same
source files? If not, IHMO, this would be the ideal way to go so people
can have the option to choose to install both man/info files or to install
one of the two. 

Cheers,
Alex.

---
 /\_/\  Legalise cannabis now! 
( o.o ) Grow some cannabis today! 
 > ^ <  Peace, Love, Unity and Respect to all.

Check out http://www.tahallah.demon.co.uk