diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am index b5b80f1..084e941 100644 --- a/doc/manual/Makefile.am +++ b/doc/manual/Makefile.am @@ -57,6 +57,7 @@ IGNORE_HFILES= \ pkcs11.h \ pkcs11x.h \ private.h \ + proxy.h \ util.h \ virtual.h \ array.h \ |