summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--make-sgpkg.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/make-sgpkg.py b/make-sgpkg.py
index cee3333..15ec65c 100644
--- a/make-sgpkg.py
+++ b/make-sgpkg.py
@@ -135,6 +135,7 @@ include /usr/share/cdbs/1/rules/debhelper.mk
install/sapgui::
rm -rf dest/usr/lib/sapgui/SAPGUI
+ sed -i '/doc\/install\/install\.htm~/d' dest/usr/lib/sapgui/*/install.db
""" % ignore_libs
write_file(debiandir, "rules", contents)
os.chmod(os.path.join(debiandir,"rules"), 0755)