Fix wrong usage of redirection in Makefile for doc generation.