Fix the option dns usages (#2174)

[openwrt/openwrt.git] / docs / Makefile

diff --git a/docs/Makefile b/docs/Makefile
index ffc5bbb062a331f799c9135a1872ced603f3e49b..f6caa826030da721a568ac5efef0eed87b18cabe 100644 (file)
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -32,6 +32,9 @@ clean: cleanup
 cleanup: FORCE
        rm -f *.log *.aux *.toc *.out *.lg *.dvi *.idv *.4ct *.4tc *.xref *.tmp *.dvi
 
+$(eval $(call RequireCommand,latex, \
+       You need to install LaTeX to build the OpenWrt documentation \
+))
 $(eval $(call RequireCommand,pdflatex, \
        You need to install LaTeX to build the OpenWrt documentation \
 ))