From 0e992fbfff404fb63769d23f3f65b4a959db0e16 Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Sun, 10 May 2015 12:18:29 +0300 Subject: [PATCH] Capitalize makefile filename Signed-off-by: Sergey Matveev --- makefile => Makefile | 0 doc/{makefile => Makefile} | 4 ++-- src/{makefile => Makefile} | 0 3 files changed, 2 insertions(+), 2 deletions(-) rename makefile => Makefile (100%) rename doc/{makefile => Makefile} (74%) rename src/{makefile => Makefile} (100%) diff --git a/makefile b/Makefile similarity index 100% rename from makefile rename to Makefile diff --git a/doc/makefile b/doc/Makefile similarity index 74% rename from doc/makefile rename to doc/Makefile index c959269..ec5af2a 100644 --- 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 diff --git a/src/makefile b/src/Makefile similarity index 100% rename from src/makefile rename to src/Makefile -- 2.44.0