diff options
author | Klaus Schmidinger <vdr@tvdr.de> | 2012-12-27 09:59:29 +0100 |
---|---|---|
committer | Klaus Schmidinger <vdr@tvdr.de> | 2012-12-27 09:59:29 +0100 |
commit | 3649145acbffbb8cbbee85c5bf23e7f119fe84d8 (patch) | |
tree | 776798f5e61891dea3a9ee67523cca477563fecf /CONTRIBUTORS | |
parent | 4545c9e93e390834ca25bdb5e0f79dbc9ce4ad8d (diff) | |
download | vdr-3649145acbffbb8cbbee85c5bf23e7f119fe84d8.tar.gz vdr-3649145acbffbb8cbbee85c5bf23e7f119fe84d8.tar.bz2 |
Making sure that plugins include the VDR header files from the actual VDR source directory when doing "make plugins"
Diffstat (limited to 'CONTRIBUTORS')
-rw-r--r-- | CONTRIBUTORS | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index d21f8844..c48f304b 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -2814,6 +2814,8 @@ Christopher Reimer <reimer.christopher@freenet.de> mechanism for suggesting to give the plugin Makefiles a separate 'install' target for making plugin Makefiles use DESTDIR and the 'install' program + for suggesting to make sure that plugins include the VDR header files from the actual + VDR source directory when doing "make plugins" Stefan Huskamp <coca_cola1@gmx.de> for suggesting to make entering characters via the number keys |