Core updates: noclobber; update-plugin-indices.
authorMatt Birkholz <matt@birchwood-abbey.net>
Mon, 29 Oct 2018 19:58:05 +0000 (12:58 -0700)
committerMatt Birkholz <matt@birchwood-abbey.net>
Thu, 1 Nov 2018 19:23:08 +0000 (12:23 -0700)
commit87c07798e5b2f5169e3b36ab929528787b8ace25
tree8449e6d8d4c03dbc9da91c074e56bf30254fd46a
parent9328ad94443380f656bd8f11cedd9e8db164ce54
Core updates: noclobber; update-plugin-indices.

Do not clobber libdir/plugins.scm in traditional src updates
(installs).  Do not clobber infodir/dir in Debian updates
(i.e. provide a debian-clean target so the Debian package build can
remove the empty indices created by the traditional installs).

Update plugin indices during traditional src and doc updates.
debian/rules
doc/Makefile.in
doc/configure.ac
src/Makefile.in
src/configure.ac