diff --git a/examples/process-algebras/pi-calculus/Holmakefile b/examples/formal-languages/pi-calculus/Holmakefile
similarity index 100%
rename from examples/process-algebras/pi-calculus/Holmakefile
rename to examples/formal-languages/pi-calculus/Holmakefile
diff --git a/examples/process-algebras/pi-calculus/open_bisimulationScript.sml b/examples/formal-languages/pi-calculus/open_bisimulationScript.sml
similarity index 100%
rename from examples/process-algebras/pi-calculus/open_bisimulationScript.sml
rename to examples/formal-languages/pi-calculus/open_bisimulationScript.sml
diff --git a/examples/process-algebras/pi-calculus/pi_nominalScript.sml b/examples/formal-languages/pi-calculus/pi_nominalScript.sml
similarity index 100%
rename from examples/process-algebras/pi-calculus/pi_nominalScript.sml
rename to examples/formal-languages/pi-calculus/pi_nominalScript.sml
diff --git a/examples/process-algebras/pi-calculus/testScript.sml b/examples/formal-languages/pi-calculus/testScript.sml
similarity index 100%
rename from examples/process-algebras/pi-calculus/testScript.sml
rename to examples/formal-languages/pi-calculus/testScript.sml
diff --git a/src/parallel_builds/core/Holmakefile b/src/parallel_builds/core/Holmakefile
index a6afcee51f..880cb9ed88 100644
--- a/src/parallel_builds/core/Holmakefile
+++ b/src/parallel_builds/core/Holmakefile
@@ -36,7 +36,7 @@ AXIOMATIC_EXAMPLES = $(patsubst %,axiomatic-developments/%,$(AXIOMATIC_THYDIRS))
 EXDIRS = algebra/aat \
          arm/arm6-verification arm/armv8-memory-model arm/experimental \
          $(AXIOMATIC_EXAMPLES) \
-         CCS process-algebras Crypto/RSA Crypto/SHA-2 \
+         CCS Crypto/RSA Crypto/SHA-2 \
          Crypto/pedersenCommitment Crypto/sigmaProtocol \
          Crypto/Keccak Hoare-for-divergence MLsyntax \
          PSL/1.01/executable-semantics PSL/1.1/official-semantics \
@@ -44,7 +44,7 @@ EXDIRS = algebra/aat \
          developers/ThmSetData \
 	 fermat \
 	 formal-languages formal-languages/context-free \
-         formal-languages/contig \
+         formal-languages/contig formal-languages/pi-calculus \
          formal-languages/lambek formal-languages/regular/regular-play \
          fun-op-sem/lprefix_lub fun-op-sem/for \
          hardware hfs \