Erick Branderhorst writes ("$(ARCH)-debian-linux-gnu"):
> Should we use $(ARCH)-debian-linux-gnu as parameter for ./configure
> and $(ARCH)-debian-linux?
> If so can it specified in the guidelines.
> If not what should we use?
$(ARCH)-debian-linux, but $(ARCH) should usually be 486,
shouldn't it ?
I don't know what the $(ARCH) parameter changes with GNU software,
when you vary it between 386, 486, 586, &c.
When this is settled please remind me to mention this in the policy