| changeset 8 | 6bb06c49288d |
| parent 0 | e5d5e829b0b4 |
| 7:500e57961167 | 8:6bb06c49288d |
|---|---|
8 clean: |
8 clean: |
9 |
9 |
10 install: |
10 install: |
11 install -m 0755 -d ${DESTDIR}${sharedir}/ |
11 install -m 0755 -d ${DESTDIR}${sharedir}/ |
12 install -m 0644 pubring.gpg ${DESTDIR}${sharedir}/ |
12 install -m 0644 pubring.gpg ${DESTDIR}${sharedir}/ |
13 |
|
14 refresh-key: |
|
15 gpg --keyring ./pubring.gpg --no-default-keyring --refresh-keys apt.schlittermann.de |