doc/Makefile: change DOCLIBS check
authorStefano Sabatini <stefasab@gmail.com>
Wed, 7 Nov 2012 22:11:02 +0000 (23:11 +0100)
committerStefano Sabatini <stefasab@gmail.com>
Wed, 7 Nov 2012 22:18:11 +0000 (23:18 +0100)
commit58d1d7024d6dfa3f8cff8d809abdf346534bdaac
treea2ff7d2b915e2779f4c90593100c9e29f8218aad
parent1c6962dc20dc902c27afe0d0f62327b941662ed2
doc/Makefile: change DOCLIBS check

More consistent with the rest of the build system, and more compact.
doc/Makefile