diff options
| -rw-r--r-- | Documentation/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 85f7856f0092..5e65fa5c6ab7 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile | |||
| @@ -116,3 +116,5 @@ dochelp: | |||
| 116 | @echo | 116 | @echo |
| 117 | @echo ' make SPHINX_CONF={conf-file} [target] use *additional* sphinx-build' | 117 | @echo ' make SPHINX_CONF={conf-file} [target] use *additional* sphinx-build' |
| 118 | @echo ' configuration. This is e.g. useful to build with nit-picking config.' | 118 | @echo ' configuration. This is e.g. useful to build with nit-picking config.' |
| 119 | @echo | ||
| 120 | @echo ' Default location for the generated documents is Documentation/output' | ||