From d52fee084b49ddf221b8d2ae84be55bfffba4d41 Mon Sep 17 00:00:00 2001
From: Michele Guerini Rocco <m.guerinirocco2@campus.unimib.it>
Date: Mon, 2 May 2022 10:51:16 +0200
Subject: [PATCH] Makefile: fix gray.1 not being generated in all

---
 Makefile | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 016eb41..bdecbd7 100644
--- a/Makefile
+++ b/Makefile
@@ -95,12 +95,12 @@ clean:
 	rm -r $(BUILDDIR)
 
 # Install libraries, binaries and documentation
-install: $(BINARIES) $(LIBRARIES) $(SHAREDIR)/gray.1
+install: $(BINARIES) $(LIBRARIES) $(SHAREDIR)/doc $(SHAREDIR)/gray.1
 	install -Dm555 -t $(PREFIX)/bin $(BINDIR)/*
 	install -Dm555 -t $(PREFIX)/lib $(LIBDIR)/*
 	install -Dm644 -t $(PREFIX)/share/doc $(SHAREDIR)/doc/manual.*
 	install -Dm644 -t $(PREFIX)/share/doc/res $(SHAREDIR)/doc/res/*
-	install -Dm644 -t $(PREFIX)/share/man/man1 $(SHAREDIR)/*.1
+	install -Dm644 -t $(PREFIX)/share/man/man1 $(SHAREDIR)/gray.1
 
 # GRAY binary
 $(GRAY): $(shell ./depend $(OBJDIR)/main.o) | $(BINDIR)
@@ -115,7 +115,9 @@ $(LIBGRAY).a($(MODULES)): | $(LIBDIR)
 $(LIBGRAY).a: $(LIBGRAY).a($(MODULES))
 
 # All documentation
-docs: | $(SHAREDIR)
+docs: $(SHAREDIR)/gray.1 $(SHAREDIR)/doc
+
+$(SHAREDIR)/doc: | $(SHAREDIR)
 	+make -C doc
 	cp -r doc/build/* $(SHAREDIR)