diff options
| -rw-r--r-- | Documentation/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 0572e209305d..0dbbd3f50b4f 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -130,4 +130,7 @@ dochelp: @echo @echo ' make PAPER={a4|letter} Specifies the paper size used for LaTeX/PDF output.' @echo + @echo ' make FONTS_CONF_DENY_VF={path} sets a deny list to block variable Noto CJK fonts' + @echo ' for PDF build. See tools/docs/lib/latex_fonts.py for more details' + @echo @echo ' Default location for the generated documents is Documentation/output' |