diff --git a/src/Makefile.files b/src/Makefile.files index 641af2fb6..763a91b09 100644 --- a/src/Makefile.files +++ b/src/Makefile.files @@ -1,7 +1,7 @@ SRCDIR ?= . -SIGS_PACKER:=environment/tezos_protocol_environment_sigs_packer +SIGS_PACKER:=environment/sigs_packer/sigs_packer PACKED_SIGS_V1:=environment/tezos_protocol_environment_sigs_v1 ENVIRONMENT_SOURCE_DIRECTORIES := \ diff --git a/src/environment/tezos_protocol_environment_sigs_packer.ml b/src/environment/sigs_packer/sigs_packer.ml similarity index 100% rename from src/environment/tezos_protocol_environment_sigs_packer.ml rename to src/environment/sigs_packer/sigs_packer.ml