Am 18.04.2010 um 21:42 schrieb David Messerschmitt: > Since texdoc seems quite useful, could we have it available from the > TeXshop help menu? Texdoc has more than one mode of operation ('texdoc texdoc' on some command line will explain). Most require user input... -- Greetings Pete Well done is better than well said. – Benjamin Franklin