nodist_foo_HEADERS?

[stenn]

Anybody have an idea of how much trouble it will be to accept the
nodist_ prefix on HEADERS?

Harlan