tree d5d5f3c23847b6bc4f3ce840c7cf75dfa58a83df
parent 7bfcaacaf5153001b071482fdc7744b3ec71fcd3
author Werner Lemberg <wl@gnu.org> 1507451027 +0200
committer Werner Lemberg <wl@gnu.org> 1507451027 +0200

Prevent creation of an incorrect documentation entry.