make[3]: *** No rule to make target `dmx.txt', needed by `distdir'. Stop. make[2]: *** [distdir] Error 1 make[1]: *** [distdir] Error 1 make: *** [distdir] Error 1 Do we really want to ship all of the generated documentation in hw/dmx/doc? Is this the case in other modules, or is this an exception?