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 manual. Ian.
