diff --git a/debian/rules.real b/debian/rules.real index d947b1308..aa166c8bf 100644 --- a/debian/rules.real +++ b/debian/rules.real @@ -213,6 +213,8 @@ install-doc: $(STAMPS_DIR)/source cp debian/copyright $(DIR)/debian cp debian/control $(DIR)/debian/control touch $(DIR)/debian/official + rm $(DIR)/Makefile + sed -e 's,^EXTRAVERSION.*$$,EXTRAVERSION =,' < $(SOURCE_DIR)/Makefile > $(DIR)/Makefile cd $(DIR) && $(setup_env) make-kpkg --stem linux kernel-manual cat $(DIR)/debian/files >> debian/files @for i in $$(awk '{ print $$1; }' $(DIR)/debian/files); do echo mv $(BUILD_DIR)/$$i ..; mv $(BUILD_DIR)/$$i ..; done