Skip to content

Commit

Permalink
Add (rudimentary) error handling to make man
Browse files Browse the repository at this point in the history
  • Loading branch information
dra27 authored and rjbou committed Mar 27, 2019
1 parent 5f5e8bd commit fee312c
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 5 deletions.
1 change: 1 addition & 0 deletions .travis-ci.sh
Original file line number Diff line number Diff line change
Expand Up @@ -156,6 +156,7 @@ export OCAMLRUNPARAM=b
make lib-ext
fi
make all
make man

rm -f ~/local/bin/opam
make install
Expand Down
12 changes: 7 additions & 5 deletions doc/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -33,15 +33,17 @@ all: man html pages
man:
rm -rf man
mkdir -p man
$(OPAM) $(HELPFMT) > man/opam.1
$(OPAM) $(HELPFMT) > man/opam.1 2> man/err
for i in $(TOPICS); do\
$(OPAM) $$i $(HELPFMT) > man/opam-$$i.1;\
$(OPAM) $$i $(HELPFMT) > man/opam-$$i.1 2>> man/err ; \
done
$(OPAM) admin $(HELPFMT) > man/opam-admin.1
$(OPAM) admin $(HELPFMT) > man/opam-admin.1 2>> man/err
for i in $(TOPICS_ADMIN); do\
$(OPAM) admin $$i $(HELPFMT) > man/opam-admin-$$i.1;\
$(OPAM) admin $$i $(HELPFMT) > man/opam-admin-$$i.1 2>> man/err ; \
done
$(OPAM_INSTALLER) $(HELPFMT) > man/opam-installer.1
$(OPAM_INSTALLER) $(HELPFMT) > man/opam-installer.1 2>> man/err
# Dune doesn't (yet) support --no-print-directory
@if grep -v "^Entering directory '" man/err > man/err2 ; then cat man/err2 ; false ; fi

man-html: man
rm -rf man-html
Expand Down

0 comments on commit fee312c

Please sign in to comment.