Uwe Siart <usenet at siart.de> writes: > On windows texdoc -s gives twofold results, one with slash and one > with backslash and lowercase filenames: Problem fixed. Thanks. -- Uwe