From 386e5d241eb23fb4e608c201077ac597e703d9da Mon Sep 17 00:00:00 2001 From: Georg Brandl Date: Tue, 23 May 2023 07:25:15 +0200 Subject: [PATCH] debian: add new executable Change-Id: If0faae7aff20a75d1aa327d7da3ddcc48854238c Reviewed-on: https://forge.frm2.tum.de/review/c/secop/frappy/+/31152 Tested-by: Georg Brandl Reviewed-by: Georg Brandl --- debian/frappy-core.install | 1 + 1 file changed, 1 insertion(+) diff --git a/debian/frappy-core.install b/debian/frappy-core.install index bf4e5a0b..afa4e03f 100644 --- a/debian/frappy-core.install +++ b/debian/frappy-core.install @@ -1,5 +1,6 @@ usr/bin/frappy-cli usr/bin/frappy-server +usr/bin/frappy-play usr/lib/python3.*/dist-packages/frappy/*.py usr/lib/python3.*/dist-packages/frappy/lib usr/lib/python3.*/dist-packages/frappy/client