mirror of
https://github.com/ashinn/chibi-scheme.git
synced 2025-05-19 13:49:17 +02:00
Correct man page installation directory
According to the Filesystem Hierarchy Standard (see "man 7 hier") man pages should be installed into an appropriate subdirectory for their section. Fix the installation path so that our documentation goes into the right place. All UNIX-like systems supported by Chibi follow FHS for man pages: - FreeBSD - GNU/Linux - macOS - Plan 9
This commit is contained in:
parent
2b7927b9bc
commit
2137fcd3f0
1 changed files with 4 additions and 4 deletions
8
Makefile
8
Makefile
|
@ -408,10 +408,10 @@ install-base: all
|
||||||
-if test -f libchibi-scheme.a; then $(INSTALL) -m0644 libchibi-scheme.a $(DESTDIR)$(SOLIBDIR)/; fi
|
-if test -f libchibi-scheme.a; then $(INSTALL) -m0644 libchibi-scheme.a $(DESTDIR)$(SOLIBDIR)/; fi
|
||||||
$(MKDIR) $(DESTDIR)$(PKGCONFDIR)
|
$(MKDIR) $(DESTDIR)$(PKGCONFDIR)
|
||||||
$(INSTALL) -m0644 chibi-scheme.pc $(DESTDIR)$(PKGCONFDIR)
|
$(INSTALL) -m0644 chibi-scheme.pc $(DESTDIR)$(PKGCONFDIR)
|
||||||
$(MKDIR) $(DESTDIR)$(MANDIR)
|
$(MKDIR) $(DESTDIR)$(MANDIR)/man1
|
||||||
$(INSTALL) -m0644 doc/chibi-scheme.1 $(DESTDIR)$(MANDIR)/
|
$(INSTALL) -m0644 doc/chibi-scheme.1 $(DESTDIR)$(MANDIR)/man1/
|
||||||
$(INSTALL) -m0644 doc/chibi-ffi.1 $(DESTDIR)$(MANDIR)/
|
$(INSTALL) -m0644 doc/chibi-ffi.1 $(DESTDIR)$(MANDIR)/man1/
|
||||||
$(INSTALL) -m0644 doc/chibi-doc.1 $(DESTDIR)$(MANDIR)/
|
$(INSTALL) -m0644 doc/chibi-doc.1 $(DESTDIR)$(MANDIR)/man1/
|
||||||
-if type $(LDCONFIG) >/dev/null 2>/dev/null; then $(LDCONFIG); fi
|
-if type $(LDCONFIG) >/dev/null 2>/dev/null; then $(LDCONFIG); fi
|
||||||
|
|
||||||
install: install-base
|
install: install-base
|
||||||
|
|
Loading…
Add table
Reference in a new issue