Workaround temporaire pour TexLive qui remplace /usr/bin/man
authorgobo72 <gobo72@364a67c3-989e-7be9-548d-dae8560ea662>
Mon, 22 Aug 2011 02:44:51 +0000 (02:44 +0000)
committergobo72 <gobo72@364a67c3-989e-7be9-548d-dae8560ea662>
Mon, 22 Aug 2011 02:44:51 +0000 (02:44 +0000)
commit767c559b3752bef1fb63e5cea4823fddaa74cccb
tree2dc5b354dd122dd7d86017be61af1e51c412d258
parent8045c361a66f72b4dcaef6d3257a1acd0ac22adf
Workaround temporaire pour TexLive qui remplace /usr/bin/man
stage5/pkg/texlive