Skip to content

Commit

Permalink
Remove spurious echo
Browse files Browse the repository at this point in the history
  • Loading branch information
@glondu
glondu committed Aug 20, 2020
1 parent d84a1cf commit a4e8bfd
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -28,7 +28,6 @@ $(CMXS): src/version.ml
NWIKI_VER=$(shell cat VERSION)

src/version.ml: src/version.ml.in VERSION
echo $(NWIKI_VER)
sed -e "s|%_NURPAWIKI_VERSION_%|$(NWIKI_VER)|g" $< > $@

META: META.in VERSION
Expand Down

0 comments on commit a4e8bfd

Please sign in to comment.