search

deadpixi / mtm

Perhaps the smallest useful terminal multiplexer in the world.
1.1k stars 51 forks source link

Makefile: remove config.h when cleaning, and change DESTDIR to PREFIX #17

Closed dawidd6 closed 5 years ago

dawidd6 commented 7 years ago

I think it's good to remove also config.h when doing make clean to achieve clean git repository

Also i've changed DESTDIR to PREFIX and added mkdirs to create directories, it's useful for packaging.

deadpixi commented 6 years ago

I don't know that we should remove config.h on make clean, as it might blow away a user's customizations. Maybe we should make a clean-all target or something? We definitely should change DESTDIR to PREFIX though.

mazeto commented 6 years ago

There's no need to delete config.h, just put "config.h" on ".gitignore".

0mp commented 6 years ago

I think that we should not delete config.h during clean target.

This is the behavior people use in software like dwm, quark or st, which use the config.def.h mechanism.

0mp commented 6 years ago

Also, while here, it would be nice to be able to modify the manual path as well. The standard path for section 1 manual pages is /usr/local/man/man1/ (no share).

Can we introduce something like MANPATH?

deadpixi commented 5 years ago

This is mostly fixed in master now, I believe.

hmontone commented 2 years ago

This is mostly fixed in master now, I believe.

Is there some reason why DESTDIR was not changed to PREFIX in the end? As far as I understand, PREFIX is traditionally used for what DESTDIR does here, and on the other hand DESTDIR typically has completely different meaning.