Skip to content

Commit

Permalink
Fix misplaced option for git rev-parse.
Browse files Browse the repository at this point in the history
  • Loading branch information
pavoljuhas committed Oct 3, 2016
1 parent e1e4ee6 commit 67d4dae
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/manual/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -157,7 +157,7 @@ doctest:
GITREPOPATH = $(shell cd $(CURDIR) && git rev-parse --git-dir)
GITREMOTE = origin
GITREMOTEURL = $(shell git config --get remote.$(GITREMOTE).url)
GITLASTCOMMIT = $(shell git --short rev-parse HEAD)
GITLASTCOMMIT = $(shell git rev-parse --short HEAD)

publish:
@test -d build/html || \
Expand Down

0 comments on commit 67d4dae

Please sign in to comment.