diff options
Diffstat (limited to 'pkg')
-rw-r--r-- | pkg/config.make.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkg/config.make.in b/pkg/config.make.in index d8d72c60..6bda7471 100644 --- a/pkg/config.make.in +++ b/pkg/config.make.in @@ -19,6 +19,7 @@ PACKAGE_VERSION = @PACKAGE_VERSION@ # Documentation files to distribute with packages. DOC_FILES = README \ + README.OPL \ COPYING \ ChangeLog \ NEWS \ |