Date: Thu, 12 Jan 1995 11:38:13 +1100 From: Bruce Evans <bde@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 Message-ID: <199501120038.LAA24297@godzilla.zeta.org.au>
next in thread | raw e-mail | index | archive | help
>>I think .texi files should normally be kept in the same directory as >>the source, just like man pages. >They already kept in 'doc's directories originally, awk is rare case. Some of this is from our reorganization of the gnu trees, e.g., the gnu distribution for texinfo-3.1 has the info files with the source, but we moved them all into one subdirectory. >>Also, they should be installed much >>like man pages are, with bsd.prog.mk calling bsd.info.mk for info pages >>like it calls bsd.man.mk for man pages. >I have nothing against, but don't have enough time right now to implement >it properly, please, do it by yourself, if you can. It's a bit too large a job for me right now too. Perhaps it could be done in a wrapper program than also builds the dir list automagically. >>and with .texi.gz files being installed by default. >>It's silly to trade time for space for small >>man pages and then install large info pages. >You mean .info.gz? Only after you make 'info' program >to works with gzipped info. 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 this should work even better for info files than for man pages. Bruce
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199501120038.LAA24297>