From 0e6080cbb4d1ff673b701e61f573f54f4df5b3e9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Franc=CC=A7ois=20Pottier?= Date: Thu, 25 Oct 2018 11:23:44 +0200 Subject: [PATCH] Another attempt to fix GNUmakefile. --- GNUmakefile | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/GNUmakefile b/GNUmakefile index c74846e0..a33d051d 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -185,13 +185,14 @@ release: @ rm $(TARBALL) # Create a git tag. @ git tag -a $(DATE) -m "Release $(DATE)." +# Save a copy of the manual. + @ mkdir -p $(RELEASE)/doc + @ cp $(DOC) $(RELEASE)/doc # Switch back to the master branch. @ echo "Switching back to the master branch..." @ git checkout master -# Save a copy of the manual *in the master branch* in releases/. +# Commit a copy of the manual *in the master branch* in releases/. @ echo "Committing a copy of the documentation..." - @ mkdir -p $(RELEASE)/doc - @ cp $(DOC) $(RELEASE)/doc @ cd $(RELEASE)/doc && git add -f * @ git commit -m "Saved documentation for release $(DATE)." # Set a current release pointer which allows us to have a stable URL for -- GitLab