> [ scratches head... ]
Magic:-)
While testing with "oldhtml" I found that the "maintainer-clean" targets in "sgml" does not clean enough: it lacks cleaning the "oldhtml-stamp".
See attached very minor fix.
-- Fabien.