#----------------------------------------------------------------------------
# gnome-doc-utils-dev-files.txt - list of all files of package 'gnome-doc-utils-dev'
#
# Creation   : 2018-05-19  holbru
# Last update: $Id$
#----------------------------------------------------------------------------
i 0755 root root gnome-doc-utils tmp/install.sh
i 0755 root root gnome-doc-utils tmp/preinstall.sh
i 0600 root root gnome-doc-utils var/install/deinstall/gnome-doc-utils-dev
u 0644 root root gnome-doc-utils var/install/packages/gnome-doc-utils-dev
#