Commit a8781fbd45eb026d64ea72fd9fc60631fd8eb352 - gnome-user-docs

make sure we don't need the new gnome-pkg-tools (but can use it if it's installed), i.e. make /usr/share/gnome-pkg-tools/1/rules/gnome-get-source.mk optional Kilian Krause 17 years ago

1 changed file(s) with 1 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all

-1

debian/rules less more

3	3	include /usr/share/cdbs/1/class/gnome.mk
4	4	include /usr/share/cdbs/1/rules/utils.mk
5	5	include /usr/share/gnome-pkg-tools/1/rules/uploaders.mk
6		include /usr/share/gnome-pkg-tools/1/rules/gnome-get-source.mk
	6	-include /usr/share/gnome-pkg-tools/1/rules/gnome-get-source.mk
7	7
8	8	DEB_CONFIGURE_EXTRA_FLAGS += --disable-scrollkeeper