[FIX] fixed problem with seqan's doc target by adding a fake doc