I need to install mediawiki, but I want to install it in a different
location - in my home directory in a directory named wiki.
I've read about DESTDIR, but I'm not certain that will work as I intend.
If I run make install DESTDIR=/homedir/wiki, will the port install as
/homedir/wiki/mediawiki? Or will it install in /homedir/wiki?
Paul Schmehl, Retired
As if it wasn't already obvious, my opinions
are my own and not those of my employer.
*******************************************
"It is as useless to argue with those who have
renounced the use of reason as to administer
medication to the dead." Thomas Jefferson
"There are some ideas so wrong that only a very
intelligent person could believe in them." George Orwell
_______________________________________________
freebsd-ports@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-ports
To unsubscribe, send any mail to "freebsd-ports-unsubscr...@freebsd.org"
