diff options
| -rw-r--r-- | Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 991bf198..01c3c2e2 100644 --- a/Makefile.am +++ b/Makefile.am @@ -38,6 +38,7 @@ EXTRA_DIST= \ config.h \ CMDLINE \ HACKING \ + README.OPL \ TODO \ BUGS |