2023-02-23 21:04:27 +01:00
|
|
|
#!/usr/bin/make -f
|
|
|
|
|
|
|
|
|
|
export PKG_ROOT = debian/pika-settings
|
|
|
|
|
|
|
|
|
|
%:
|
|
|
|
|
dh $@
|
|
|
|
|
|
|
|
|
|
override_dh_install:
|
|
|
|
|
dh_install
|
|
|
|
|
mkdir -p $(PKG_ROOT)
|
|
|
|
|
mkdir -p $(PKG_ROOT)/usr/share
|
|
|
|
|
cp -r debian/data/usr $(PKG_ROOT)/
|
2023-03-24 18:45:17 +01:00
|
|
|
cp -r debian/data/etc $(PKG_ROOT)/
|
2023-02-23 21:04:27 +01:00
|
|
|
ln -sf /usr/share/ubuntu $(PKG_ROOT)/usr/share/pika
|
|
|
|
|
ln -sf /usr/share/ubuntu-wayland $(PKG_ROOT)/usr/share/pika-wayland
|
