aboutsummaryrefslogtreecommitdiff
path: root/html/Makefile
diff options
context:
space:
mode:
authorsimonmar <unknown>2002-05-09 10:44:15 +0000
committersimonmar <unknown>2002-05-09 10:44:15 +0000
commit032e2b4257eda3003159a68ef47a27b70837ce4f (patch)
tree1c2281f9b4e2414608c466ef5f22690f7fa05815 /html/Makefile
parentb481c1d08780a214b53382a1806473265bcc23bc (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