diff options
-rw-r--r-- | devel/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/Makefile b/devel/Makefile index 757b44067749..3bae0cb1d536 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -2971,6 +2971,7 @@ SUBDIR += robodoc SUBDIR += root SUBDIR += root-doc + SUBDIR += ros SUBDIR += rote SUBDIR += rpc2 SUBDIR += rpm-spec-mode.el |