diff options
author | Greg Hudson <ghudson@mit.edu> | 2019-09-12 12:05:45 -0400 |
---|---|---|
committer | Greg Hudson <ghudson@mit.edu> | 2019-09-12 12:05:45 -0400 |
commit | 7ae4e8882458336fbe50d0e722ec9d5e3e338c63 (patch) | |
tree | af66d07c39689ca6753be2637b6d891c702d906d /src/man | |
parent | 9fd7bc179f0bd74fc83c1edf0247dcfd87fc73e6 (diff) | |
download | krb5-7ae4e8882458336fbe50d0e722ec9d5e3e338c63.zip krb5-7ae4e8882458336fbe50d0e722ec9d5e3e338c63.tar.gz krb5-7ae4e8882458336fbe50d0e722ec9d5e3e338c63.tar.bz2 |
Fix doc build
Commit c426ef2ca2ba45dbf96f5380cf7d153ec0679424 added
KRB5_PADATA_PAC_OPTIONS to krb5.hin, but did not put it in an API
index, causing a documentation build failure. Add it now.
ticket: 8479
Diffstat (limited to 'src/man')
0 files changed, 0 insertions, 0 deletions