Correct reset-dirs in DTD

Empty elements need to be declared as such in well-formed DTDs.
3 jobs for patch-1 in 5 minutes and 48 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #981606
mingw-build

00:04:18

passed #981604
shared-build

00:04:29

passed #981605
static-build

00:05:48