devel-docs: fix HTML_IMAGES Makefile variable

This doesn't fix the build of the stock IDs docs page yet.