On 13/1/19 11:17 pm, Dave Reisner wrote: > On Sat, Jan 12, 2019 at 09:15:01PM -0500, Eli Schwartz wrote: >> Signed-off-by: Eli Schwartz <[email protected]> >> --- > > This is really just an alias, right? To match what autotools does? Does > anyone actually care about this? Might it be better to just rename the > existing target to 'website' instead?
That seems the least redundant approach. A
