Parcourir la source

Merge 2565902819 into b7b7f21d69

pull/1016/merge
nicole mazzuca il y a 11 mois
committed by GitHub
Parent
révision
acb32f53a2
Aucune clé connue n'a été trouvée dans la base pour cette signature ID de la clé GPG: B5690EEEBB952194
1 fichiers modifiés avec 1 ajouts et 1 suppressions
  1. +1
    -1
      Makefile

+ 1
- 1
Makefile Voir le fichier

@@ -1,6 +1,6 @@
.POSIX:

PREFIX = /usr/local
PREFIX ?= /usr/local
MANPREFIX = $(PREFIX)/share/man

install:


Chargement…
Annuler
Enregistrer