Cc'ing Peter who is currently doing modification is this.
On 1/21/20 1:23 PM, Dr. David Alan Gilbert (git) wrote:
From: "Dr. David Alan Gilbert"
Create docs/tools based on docs/dev based on docs/devel.
Signed-off-by: Dr. David Alan Gilbert
Reviewed-by: Philippe Mathieu-Daudé
Tested-by: Ph
From: "Dr. David Alan Gilbert"
Create docs/tools based on docs/dev based on docs/devel.
Signed-off-by: Dr. David Alan Gilbert
---
Makefile | 9 -
docs/index.rst | 1 +
docs/tools/conf.py | 16
docs/tools/index.rst | 12
4 files change
