1 |
On Tue, 30 Sep 2014 13:01:35 +0200 |
2 |
Ulrich Mueller <ulm@g.o> wrote: |
3 |
|
4 |
> >>>>> On Tue, 30 Sep 2014, Jeroen Roovers wrote: |
5 |
> |
6 |
> >> The same tags shouldn't be used for different things. |
7 |
> |
8 |
> > Then we might as well extend the DTD to have a required <email> tag |
9 |
> > nested in each <herd> tag. |
10 |
> |
11 |
> But IIUC, the DTD must be changed also if the <herd> tag is removed? |
12 |
> (Unless we want to leave a dead element in there.) |
13 |
|
14 |
If people are that attached to <herd> then we should apparently fix it |
15 |
instead of removing it, possibly by making it closely resemble |
16 |
<maintainer>. |
17 |
|
18 |
|
19 |
jer |