Capitalize makefile filename

[govpn.git] / doc / Makefile

diff --git a/doc/makefile b/doc/Makefile
similarity index 74%
rename from doc/makefile
rename to doc/Makefile
index c959269cf8eb2d679e7540904ec1533eb63b2ebf..ec5af2ac7212528ccb259acb9f36f228c0727773 100644 (file)
--- a/doc/makefile
+++ b/doc/Makefile
@@ -3,11 +3,11 @@ all: govpn.info govpn.html
 MAKEINFO ?= makeinfo
 
 govpn.info: *.texi handshake.utxt
-       makeinfo govpn.texi
+       $(MAKEINFO) govpn.texi
 
 handshake.utxt: handshake.txt
        plantuml -tutxt handshake.txt
 
 govpn.html: *.texi handshake.utxt
        rm -f govpn.html/*.html
-       makeinfo --html -o govpn.html govpn.texi
+       $(MAKEINFO) --html -o govpn.html govpn.texi