From 9bc1df9b65317683037b944e652008bd97ac057f Mon Sep 17 00:00:00 2001 From: Viktor Szakats Date: Tue, 12 Sep 2017 15:17:38 +0000 Subject: [PATCH] 2017-09-12 15:17 UTC Viktor Szakats (vszakats users.noreply.github.com) * doc/Makefile * doc/howtorep.txt -> doc/howtovcs.txt * sync with 3.4 fork --- ChangeLog.txt | 5 +++++ doc/Makefile | 2 +- doc/{howtorep.txt => howtovcs.txt} | 0 3 files changed, 6 insertions(+), 1 deletion(-) rename doc/{howtorep.txt => howtovcs.txt} (100%) diff --git a/ChangeLog.txt b/ChangeLog.txt index 6d27a43403..f5b9215672 100644 --- a/ChangeLog.txt +++ b/ChangeLog.txt @@ -7,6 +7,11 @@ Entries may not always be in chronological/commit order. See license at the end of file. */ +2017-09-12 15:17 UTC Viktor Szakats (vszakats users.noreply.github.com) + * doc/Makefile + * doc/howtorep.txt -> doc/howtovcs.txt + * sync with 3.4 fork + 2017-09-12 15:13 UTC Viktor Szakats (vszakats users.noreply.github.com) * bin/check.hb * config/*/*.mk diff --git a/doc/Makefile b/doc/Makefile index 1ad4573315..9f14623e58 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -15,7 +15,7 @@ DOC_FILES := \ gtslang.txt \ hdr_tpl.txt \ howtorel.txt \ - howtorep.txt \ + howtovcs.txt \ locks.txt \ oldnews.txt \ pcode.txt \ diff --git a/doc/howtorep.txt b/doc/howtovcs.txt similarity index 100% rename from doc/howtorep.txt rename to doc/howtovcs.txt