From 75c30ee83468a89595f5cfb1f29f1e0a71c6a844 Mon Sep 17 00:00:00 2001
From: Michele Guerini Rocco <m.guerinirocco2@campus.unimib.it>
Date: Wed, 15 Dec 2021 02:30:51 +0100
Subject: [PATCH] move manual into a doc subdirectory

---
 Makefile             | 4 ++--
 gray.1 => doc/gray.1 | 0
 2 files changed, 2 insertions(+), 2 deletions(-)
 rename gray.1 => doc/gray.1 (100%)

diff --git a/Makefile b/Makefile
index b91823c..9bc63a4 100644
--- a/Makefile
+++ b/Makefile
@@ -80,10 +80,10 @@ clean:
 	rm -r $(BUILDDIR)
 
 # Install libraries, binaries and man pages
-install: $(BINARIES) $(LIBRARIES) gray.1
+install: $(BINARIES) $(LIBRARIES) doc/gray.1
 	install -Dm555 -t $(PREFIX)/bin $(BINDIR)/*
 	install -Dm555 -t $(PREFIX)/lib $(LIBDIR)/*
-	install -Dm644 -t $(PREFIX)/share/man/man1 gray.1
+	install -Dm644 -t $(PREFIX)/share/man/man1 doc/gray.1
 
 # GRAY binary
 $(GRAY): $(shell ./depend $(OBJDIR)/main.o) | $(BINDIR)
diff --git a/gray.1 b/doc/gray.1
similarity index 100%
rename from gray.1
rename to doc/gray.1