summaryrefslogtreecommitdiff
path: root/doc/Makefile.in
diff options
context:
space:
mode:
authorJörg Frings-Fürst <debian@jff.email>2018-08-01 11:11:19 +0200
committerJörg Frings-Fürst <debian@jff.email>2018-08-01 11:11:19 +0200
commit02dc10f02447b6f35224fec2b2280a35022bc37b (patch)
tree20e723b2017ab3b74bf44a22be1dfbc1458d3e8f /doc/Makefile.in
parentc7d4db3862a24474655a43c98572e82503d9fa6b (diff)
parent9bf6d68108836bfbcc5296a50a48cfd6af9151b7 (diff)
Update upstream source from tag 'upstream/3.1.2'
Update to upstream version '3.1.2' with Debian dir 2863fdfb0e9680d5192c60db9601d0f03050edb0
Diffstat (limited to 'doc/Makefile.in')
-rw-r--r--doc/Makefile.in1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in
index 15917e8..3b9d20d 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -415,6 +415,7 @@ install:
${INSTALL_DATA_SH} idcmi.8 ${manto}
${INSTALL_DATA_SH} ismcoem.8 ${manto}
${INSTALL_DATA_SH} iuser.8 ${manto}
+ ${INSTALL_DATA_SH} iseltime.8 ${manto}
${INSTALL_DATA_SH} bmclanpet.mib ${datato}
cd ${manto}; gzip -f *.8