Singular/Sources — pull request #406 by fingolfin (2013-10-18 14:32:35+00:00)
Title: Fix to allow external code to use libsingular

Without this change, it is impossible to link a 3rd party tools (such as the libsing GAP package) against a version of libsingular installed via "make install", as no "libpolys" directory is installed.