diff options
author | simonmar <unknown> | 2002-05-09 10:44:15 +0000 |
---|---|---|
committer | simonmar <unknown> | 2002-05-09 10:44:15 +0000 |
commit | 032e2b4257eda3003159a68ef47a27b70837ce4f (patch) | |
tree | 1c2281f9b4e2414608c466ef5f22690f7fa05815 /html/Makefile | |
parent | b481c1d08780a214b53382a1806473265bcc23bc (diff) |
[haddock @ 2002-05-09 10:44:15 by simonmar]
Don't consider a module re-export as having documentation, for the
purposes of deciding whether we need a Synopsis section or not.
Diffstat (limited to 'html/Makefile')
0 files changed, 0 insertions, 0 deletions