tree b73449be4c5fc7c1faad760d1ba74159c6afa91a
parent 83874cc5b7bd19c703442539a5aa036354512238
author Joey Armstrong <joey@opennetworking.org> 1669934994 -0500
committer Joey Armstrong <joey@opennetworking.org> 1669935008 -0500

VOL-4840 - gendocs edits

Makefile
--------
   o Display an ENTER/LEAVE banner & whitespace for readability.
   o Changed ${} to $() to make it clear these are make vars not env vars.
   o mkdir one-liner: use make builtin $(addprefix) to construct paths,
     spawn one shell -vs- shell mkdir x dirs.
   o Join shell commands using '&&' -vs- ';'.  Ssemicolon use with
     line continuation can mask failures.

Change-Id: Ia2393056350b247b37dd13bcb2d12548e5b66710