I believe src/export_list is missing the following files, which
install.pike tries to install:

/refdoc/doxfilter.sh
/refdoc/doxygen.cfg

Reply via email to