diff options
| -rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 4fe638ca..71f8a666 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,3 +1,5 @@ info_TEXINFOS = openocd.texi openocd_TEXINFOS = fdl.texi +man_MANS = openocd.1 +EXTRA_DIST = openocd.1 |