|26 ↗||(On Diff #34907)|
Yes, but those who don't hopeuflly have other things to worry about than a 2.2k text file more on there disk ^^ -- what I was suggesting is to always just install such things :)
Yes, I know, but where do you draw the line? Having an option is certainly very beneficial when it enables/disables large parts. Some more pedantically-inclined people with argue that it's warranted even for such small single files. Packages in Gentoo linux, I think, do this a lot. There is likely no consensus on this in the computer community. :)
Never, ever, put %%FOO%% in PLIST_FILES. The idea behind %%FOO%% placeholders is to allow one to carry variables from the Makefile to the pkg-plist file. Here, you are in the Makefile, simply use the variables, or in that case, do it the way the framework helps you to do it:
PLIST_FILES= bin/tio \ man/man1/tio.1.gz BASH_PLIST_FILES= share/bash-completion/completions/tio PORTDOCS README
Also, whenever you install files in DOCSDIR, you MUST add a DOCS option.