[erlang-bugs] make/fakefop skipped/unused in R16?

[Tuncer Ayaz]

It seems that for some reason fakefop is not used and therefore the
placeholder PDF files are not generated. otp git rev used: 4cd517c.

$ make docs
$ make install-docs
[...]
/usr/bin/install -c -d
"/tmp/otp/master/localinstall/lib/erlang/lib/stdlib-1.19/doc/pdf"
/usr/bin/install -c -m 644 ../pdf/stdlib-1.19.pdf
    "/tmp/otp/master/localinstall/lib/erlang/lib/stdlib-1.19/doc/pdf"
/usr/bin/install: cannot stat '../pdf/stdlib-1.19.pdf': No such file
or directory
make[5]: *** [release_docs_spec] Error 1

Thoughts?