Am 26.07.2009 um 16:44 schrieb Rolf Schmolling: > what would be the appropriate command for gwTeX? sudo rm -rf /usr/local/gwtex -- Mit friedvollen Grüßen Pete Die Zeit wird kommen, da unsere Nachkommen sich wundern werden, wie wir so wunderbare Dinge einfach gewusst haben konnten. (Ein Optimist nach Lucius Annæus Seneca)