aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorMichael Schmidt <github@mschmidt.me>2016-10-14 14:18:43 +0200
committerMichael Schmidt <github@mschmidt.me>2016-10-14 14:18:43 +0200
commitd88a7116afa51df41ba3495c9891959830497452 (patch)
treedfc0cf4e7fe7f6c234cb0ef0783884858da84fd0 /Makefile
parent7c8bd312880e96f84c15fad18dbffe3fd78397c7 (diff)
downloadcompcert-kvx-d88a7116afa51df41ba3495c9891959830497452.tar.gz
compcert-kvx-d88a7116afa51df41ba3495c9891959830497452.zip
Add a man-page
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 2d16da42..ceb8109c 100644
--- a/Makefile
+++ b/Makefile
@@ -230,6 +230,8 @@ install:
install -m 0755 ./ccomp $(BINDIR)
install -d $(SHAREDIR)
install -m 0644 ./compcert.ini $(SHAREDIR)
+ install -d $(MANDIR)/man1
+ install -m 0644 ./doc/ccomp.1 $(MANDIR)/man1
$(MAKE) -C runtime install
ifeq ($(CLIGHTGEN),true)
install -m 0755 ./clightgen $(BINDIR)