[devhelp] flatpak: add 5-teardown.sh script

[Sébastien Wilmet <swilmet src gnome org>]

commit 0b3999e8df46b519edf028b85fd4a80580b6a575
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Tue May 29 17:48:14 2018 +0200

    flatpak: add 5-teardown.sh script
    
    `flatpak update` complains when the remote is no longer there.

 flatpak/5-teardown.sh | 5 +++++
 1 file changed, 5 insertions(+)
---
diff --git a/flatpak/5-teardown.sh b/flatpak/5-teardown.sh
new file mode 100755
index 00000000..1498054f
--- /dev/null
+++ b/flatpak/5-teardown.sh
@@ -0,0 +1,5 @@
+#!/bin/sh
+
+flatpak uninstall --user org.gnome.Devhelp
+flatpak remote-delete --user devhelp-repo
+rm -rf devhelp/ repo/ .flatpak-builder/