[erlang-bugs] Persistent error for 'make'

[Bengt Kleberg]

Greetings,

When doing 'make clean' or 'make docs' in a fresh clone of 'maint', I
get the following error:

make[2]: Entering directory `/local/scratch/otp/lib/inviso'
make[2]: *** No rule to make target `docs'.  Stop.
make[2]: Leaving directory `/local/scratch/otp/lib/inviso'
make[1]: *** [docs] Error 2
make[1]: Leaving directory `/local/scratch/otp/lib'
make: *** [docs] Error 2


Perhaps inviso should be removed?


bengt