Skip to content

Commit

Permalink
opam file + install_doc
Browse files Browse the repository at this point in the history
  • Loading branch information
craff committed Jul 28, 2023
1 parent fa6f59f commit f0cc353
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -32,4 +32,4 @@ doc:

.PHONY: install_doc
install_doc: doc
rsync -r --delete _build/default/_doc/_html/ ${HOME}/WWW2/main/pacomb
rsync -r --delete _build/default/_doc/_html/ ${HOME}/WWW2/Raffalli/pacomb/
1 change: 1 addition & 0 deletions pacomb.opam
Original file line number Diff line number Diff line change
Expand Up @@ -63,3 +63,4 @@ depends: [

build: [ [ "dune" "build" "-p" name "-j" jobs ] ]
run-test: [ [ "dune" "runtest" "-p" name "-j" jobs ] ]
dev-repo: "git+https://github.com/craff/pacomb.git"

0 comments on commit f0cc353

Please sign in to comment.