+++ /dev/null
-
-EXTRA_DIST = \
-core.xml \
-fs.xml \
-fs_data.xml \
-ipc.xml \
-kernel.xml \
-kernel_arch_arm.xml \
-kernel_arch_c2.xml \
-kernel_arch_i386.xml \
-kernel_arch_mips.xml \
-kernel_arch_powerpc.xml \
-kernel_arch_ppc.xml \
-kernel_arch_x86_64.xml \
-locking.xml \
-memory.xml \
-network.xml \
-process.xml \
-socket.xml \
-stack.xml \
-statedump.xml \
-timer.xml \
-user_generic.xml \
-network_ip_interface.xml \
-xenoltt.xml
-
-facilities_DATA = \
-core.xml \
-fs.xml \
-fs_data.xml \
-ipc.xml \
-kernel.xml \
-kernel_arch_arm.xml \
-kernel_arch_c2.xml \
-kernel_arch_i386.xml \
-kernel_arch_mips.xml \
-kernel_arch_powerpc.xml \
-kernel_arch_ppc.xml \
-kernel_arch_x86_64.xml \
-locking.xml \
-memory.xml \
-network.xml \
-process.xml \
-socket.xml \
-stack.xml \
-statedump.xml \
-timer.xml \
-user_generic.xml \
-network_ip_interface.xml \
-xenoltt.xml
-
-
-facilitiesdir = $(pkgdatadir)/facilities