On Fri, Jan 6, 2017 at 7:56 AM, Holger Wansing wrote: > Maybe the Makefile should be changed, so that it covers both situations? I've done this in response to a different mail on debian-www about this. -- bye, pabs https://wiki.debian.org/PaulWise