diff options
Diffstat (limited to 'gregorio.install')
-rw-r--r-- | gregorio.install | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/gregorio.install b/gregorio.install deleted file mode 100644 index eb41a05bcee3..000000000000 --- a/gregorio.install +++ /dev/null @@ -1,20 +0,0 @@ -# Maintainer: Anthony VanBerkum <anthonyvbop AT gmail DOT com> -# Contributor: David Gippner davidgippner at googlemail dot com - -post_install() { - _tex_update -} - -post_upgrade() { - _tex_update - echo "Be sure to check https://github.com/gregorio-project/gregorio/releases for any changes required in your TeX files." -} - -post_remove() { - _tex_update -} - -_tex_update() { - echo "Updating TeX database..." - texhash -} |