[tex-live] Documentation

Sebastian Rahtz sebastian.rahtz@computing-services.oxford.ac.uk
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

cd $WHEREVER/texmf/doc
for i in `find . -name "*.dtx"`
do
 latex $i
 latex $i
done


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

sebastian