#----------------------------------------------------------------------------
# openjade-dev-files.txt - list of all files of package 'openjade-dev'
#
# Creation   : 2023-04-27  holbru
# Last update: $Id$
#----------------------------------------------------------------------------
u 0644 root root openjade usr/include/openjade/DssslApp.h
u 0644 root root openjade usr/include/openjade/EventGenerator.h
u 0644 root root openjade usr/include/openjade/FOTBuilder.h
u 0644 root root openjade usr/include/openjade/GroveApp.h
u 0644 root root openjade usr/include/openjade/GroveBuilder.h
u 0644 root root openjade usr/include/openjade/GroveManager.h
u 0644 root root openjade usr/include/openjade/Node.h
u 0644 root root openjade usr/include/openjade/ParserEventGeneratorKit.h
u 0644 root root openjade usr/include/openjade/SGMLApplication.h
u 0644 root root openjade usr/include/openjade/dsssl_ns.h
s 0777 root root openjade usr/lib/libogrove.so
s 0777 root root openjade usr/lib/libospgrove.so
s 0777 root root openjade usr/lib/libostyle.so
#
f 0755 root root openjade usr/lib
f 0755 root root openjade usr/include/openjade
f 0755 root root openjade usr/include
f 0755 root root openjade usr