## nw-ext.lib
## (C) 2000 Lucent Technologies, Bell Laboratories
## Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
# Compiled by:
# src/lib/core/internal/interactive-system.lib# A pointer to the plugin library for Noweb.
# (For each to-be-recognized file name suffix <s>, a copy of this
# file should be created and stored under the name <s>-ext.lib.)
LIBRARY_EXPORTS
pkg noweb_tool
LIBRARY_COMPONENTS
$ROOT/src/app/makelib/tools/noweb/noweb-tool.lib