17 Dec 2002 14:36:27 +0000
On Tue, 2002-12-17 at 09:47, Lars Madsen wrote:
> I noticed that there aren't that many documentation files in the /doc dir
> in TeXLive 7.
well, there are 9563 files :-}
> Anyway I have had to run LaTeX on several .dtx filen form
> the source dir, in order to get the documentation/information I needed.
I used to run .dtx files to .dvi, but I ran out of space
> I was just woundering if there existed some form of tool that would
> actually do this for every .dtx file in the /source dir and place the .dvi
> files in the /doc structure.
it doesn't need a tool. just
for i in `find . -name "*.dtx"`
I appreciate your point; but unless I made the installation
do the above, I am not sure what to do.
casual users might well find latex'ed .dtx files forbidding anyway
I recommend texdoctk, by the way, instead of texdoc