# installed documentation

#

if ENABLE_DOCS

dist_doc_DATA = LICENSING.txt README_details.txt README_stack.txt \

    README_malloc.txt README_win32.txt

endif