add seweb and sehistory to bin/

2025-04-29 11:56:10 +02:00
parent 74684381a6
commit ce37e3727c
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -465,7 +465,7 @@ def do_bin():
    chdir(home)
    if not exists('bin'):
        do('mkdir -p bin')
-    pgms  = ['frappy', 'sea']
+    pgms = ['frappy', 'sea', 'seweb', 'sehistory']
    if nicosroot:
        executable = f'{nicosenv}/bin/python3'
    else: