|
From: | D. Barbier |
Subject: | Re: 'make publish' does not copy compendia |
Date: | Sun, 6 Jan 2013 19:44:17 +0100 |
On 2013/1/6 Ineiev wrote: > I think recent commit should resolve most of these issues; please > report if further fixes are needed. Thanks, I have upgraded our GNUmakefile. Denis
[Prev in Thread] | Current Thread | [Next in Thread] |