Am 4.12.02 um 15:15:53 schrieb David B Harris: > If variable-width fonts are used, then line breaks shouldn't be > preserved. If they're not going to be preserved, there needs to be a > very specific set of rules as to how lines are joined. These already > exist in code, actually; I believe packages.debian.org joins lines.
Line breaks already aren't preserved, and there already exist a very specific set of rules for that. Look into your documentation, and have a look at dselect. Cheers, Mike -- |=| Michael Piefel |=| Humboldt-Universität zu Berlin |=| Tel. (+49 30) 2093 3831