Install the history(1) man page if history was built

rakitzis · Aug 25, 2024 · 3413598 · 3413598
1 parent 5b17153
commit 3413598
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -106,3 +106,7 @@ install: all
 	mkdir -p $(DESTDIR)$(MANPREFIX)/man1
 	cp rc.1 $(DESTDIR)$(MANPREFIX)/man1/
 	chmod 644 $(DESTDIR)$(MANPREFIX)/man1/rc.1
+	if [ -f history ]; then \
+		cp history.1 $(DESTDIR)$(MANPREFIX)/man1/ && \
+		chmod 644 $(DESTDIR)$(MANPREFIX)/man1/history.1; \
+	fi