[debian-devel:05430] Re: [debian-users:08510] Bug#JP/555: mgp: /usr/doc/mgp/example is gzipped

[Atsuhito Kohda <kohda@xxxxxxxxxxxxxxxxxxxx>]

香田です。devel にしました。

From: mkojima@xxxxxxxxxxxx (Motoyasu KOJIMA)
Subject: [debian-users:08510] Bug#JP/555: mgp: /usr/doc/mgp/example is gzipped
Date: Tue, 22 Sep 1998 20:33:04 +0900

> /usr/doc/mgp/example/*  が gzip されてないほうがよいです．
> gzip されていると，mgp で直接，サンプルを試せずちょっと不便なため．

このような状況を経験したことがあるのですが，普通に
すると debstd かなにかで gzip されますよね。
で debstd をしないで自分で全部 cp とかですると 
buildinfo.Debian とかができなかったりすると思うの
ですが，こんな場合に一応 debstd なんかで作っておいて
postinst で
(cd /usr/doc/mgp/example; gunzip *.gz)
なんてするのは Debian 的に問題ないのでしょうか？

# 上の書式あってますでしょうか？括弧は不要？

ご教示ください。		平成１０年９月２５日(金)
--
 ***************************
 香田 温人（こうだ あつひと）
 http://www1.pm.tokushima-u.ac.jp/%7Ekohda/