($(DOC)): Use -o and -a options to make-docfile,