-
Recently added Makefile for parallel documentation build is a part of build system and thus should not be installed with the rest of docs. Signed-off-by: Agustin Martin Domingo <agmartin@debian.org>
Recently added Makefile for parallel documentation build is a part of
build system and thus should not be installed with the rest of docs.
Signed-off-by: Agustin Martin Domingo <agmartin@debian.org>