diff options
author | Samuel Mimram <smimram@debian.org> | 2007-03-18 12:23:49 +0000 |
---|---|---|
committer | Samuel Mimram <smimram@debian.org> | 2007-03-18 12:23:49 +0000 |
commit | bdb8dc1aec348577f4e07ac0ab95bd068fbfff0e (patch) | |
tree | 72e7b2a9c1193048a16cd8faf9e582e1edce6c8b /debian/coq-libs.doc-base | |
parent | 3e049918b485edc6561dee8dd656207f2fc0a19a (diff) |
Use dh_installtex instead of hand-crafted postinst.
Diffstat (limited to 'debian/coq-libs.doc-base')
0 files changed, 0 insertions, 0 deletions