OSDN Git Service

Don't fail the "make install" if the info files have not been built