From owner-cvs-gnu Thu Jan 12 16:23:36 1995 Return-Path: cvs-gnu-owner Received: (from root@localhost) by freefall.cdrom.com (8.6.9/8.6.6) id QAA14399 for cvs-gnu-outgoing; Thu, 12 Jan 1995 16:23:36 -0800 Received: from godzilla.zeta.org.au (godzilla.zeta.org.au [203.2.228.34]) by freefall.cdrom.com (8.6.9/8.6.6) with ESMTP id QAA14393 for ; Thu, 12 Jan 1995 16:23:31 -0800 Received: (from bde@localhost) by godzilla.zeta.org.au (8.6.9/8.6.9) id LAA17529; Fri, 13 Jan 1995 11:20:09 +1100 Date: Fri, 13 Jan 1995 11:20:09 +1100 From: Bruce Evans Message-Id: <199501130020.LAA17529@godzilla.zeta.org.au> To: ache@astral.msk.su, bde@zeta.org.au, cvs-gnu@freefall.cdrom.com Subject: Re: cvs commit: src/gnu/usr.bin/awk/doc Makefile gawk.texi Sender: cvs-gnu-owner@FreeBSD.org Precedence: bulk >>No, I want to run makeinfo as late as possible, just like nroff is run >>as late as possible. Makeinfo seems to be much faster than nroff, so >I dislike this idea. There is complex rules to build .info >files, more complex than manpages. There can be some rules to build >.texi page itself. Targets can have many source files We (I :-) now have similar problems with doc. Yesterday, my disk filled up with 7MB of formatted docs in /usr/doc, 7MB of formatted docs in /usr/share, and not all the docs are formatted yet. gzipping the 7M would reduce it to approximately the same size as /usr/man (3MB). Bruce