## noweb-tool.lib
## (C) 2000 Lucent Technologies, Bell Laboratories
## Author: Matthias Blume (blume@kurims.kyoto-u.ac.jp)
# Compiled by:
# src/app/makelib/tools/noweb/nw-ext.lib# The plugin library for the "noweb" tool.
LIBRARY_EXPORTS
pkg noweb_tool
LIBRARY_COMPONENTS
$ROOT/src/lib/std/standard.lib $ROOT/src/lib/core/makelib/makelib-tools-stuff.lib tool.pkg