diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index f05b7552..d1a4c48a 100644 --- a/Makefile.am +++ b/Makefile.am @@ -353,7 +353,8 @@ EXTRA_DIST += doc/overview-api.txt doc/behavior-api.txt \ doc/session-overview.txt doc/backtrace.txt \ doc/advanced-configuration.txt \ doc/vpn-connection-api.txt \ - doc/vpn-manager-api.txt doc/vpn-overview.txt + doc/vpn-manager-api.txt doc/vpn-overview.txt \ + doc/session-policy-format.txt EXTRA_DIST += src/main.conf |