diff options
| author | Mattias Andrée <maandree@kth.se> | 2017-10-16 20:18:31 +0200 |
|---|---|---|
| committer | Mattias Andrée <maandree@kth.se> | 2017-10-16 20:18:31 +0200 |
| commit | ab46bf8016b253c9900cc3b3742e60c32ff4085d (patch) | |
| tree | e04813af400f22f81de4ba7c5a178496f5828622 /dist/archlinux/stable/mongoclock.install | |
| parent | update dist (diff) | |
| download | mongotimer-ab46bf8016b253c9900cc3b3742e60c32ff4085d.tar.gz mongotimer-ab46bf8016b253c9900cc3b3742e60c32ff4085d.tar.bz2 mongotimer-ab46bf8016b253c9900cc3b3742e60c32ff4085d.tar.xz | |
Update license, change style, simplify makefile, and do not use gpp
Signed-off-by: Mattias Andrée <maandree@kth.se>
Diffstat (limited to 'dist/archlinux/stable/mongoclock.install')
| -rw-r--r-- | dist/archlinux/stable/mongoclock.install | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/dist/archlinux/stable/mongoclock.install b/dist/archlinux/stable/mongoclock.install deleted file mode 100644 index e9a601a..0000000 --- a/dist/archlinux/stable/mongoclock.install +++ /dev/null @@ -1,20 +0,0 @@ -_file="mongoclock" - -infodir="usr/share/info" -file="${_file}.info" - - -post_install() { - [[ -x "usr/bin/install-info" ]] || return 0 - install-info -- "${infodir}/${file}" "${infodir}/dir" 2> /dev/null -} - -post_upgrade() { - post_install "$1" -} - -pre_remove() { - [[ -x "usr/bin/install-info" ]] || return 0 - install-info --delete -- "${infodir}/${file}" "${infodir}/dir" 2> /dev/null -} - |