Add the doc target to ALL and only rebuild it when necessary