> So one possible solution would be to add some lines to texmf/aliases:
>
>   pdftex.pdf pdftexman.pdf
>   omega.pdf omega-manual.pdf
>   etex.pdf etex-man.pdf

Good idea (but the order is wrong. Right is e.g. pdftexman.pdf
pdftex.pdf).

> But when someone begins looking for documentation about pdftex, maybe
> they would like to know first of all that there are four or five files
> that might contain the desired information.

Again, I'd say that this should be handled by texdoctk / helpindex.html.

Thomas

Reply via email to