> I think Martin trusted the output of make plist too much. ;)
> The no_x11 FLAVOR was not hooked up before so no new breakage.
> 
> The diff below fixes this:
> - re-add the %%no_x11%% / !%%no_x11%% dance at the end of the PLIST
> - remove xmgrace files provided by !%%no_x11%%
> - for no_x11, remove the xmgrace manpage, installed in a bogus directory
> 
> With this, make plist is stable with the default FLAVOR, for the no_x11
> FLAVOR only the location of the !%%no_x11%% line moves in the PLIST.
> 
> ok?

ok.

Reply via email to