diff options
author | John MacFarlane <jgm@berkeley.edu> | 2014-11-28 23:12:56 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2014-11-28 23:12:56 -0800 |
commit | ed565c1931017ded72e902b73187747aa3d0a093 (patch) | |
tree | a8b9007e37431f7a028c31eabe34c7f997e83bd5 /Makefile | |
parent | f4bf7da82f15b50f96732327a872821c5c53f499 (diff) |
Include man3 in archive.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -48,9 +48,10 @@ mingw: cmake .. -DCMAKE_TOOLCHAIN_FILE=../toolchain-mingw32.cmake -DCMAKE_INSTALL_PREFIX=$(MINGW_INSTALLDIR) ;\ make && make install -archive: spec.html $(BUILDDIR) +archive: spec.html $(BUILDDIR) man/man3/cmark.3 man/man1/cmark.1 @rm -rf $(PKGDIR); \ mkdir -p $(PKGDIR)/man/man1; \ + mkdir -p $(PKGDIR)/man/man3; \ mkdir -p $(PKGDIR)/$(SRCDIR)/html; \ mkdir -p $(PKGDIR)/api_test; \ srcfiles=`git ls-tree --full-tree -r HEAD --name-only $(SRCDIR) api_test`; \ |