> 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