diff --git a/docs/collect_readmes.py b/docs/collect_readmes.py
index cb989cc..0029852 100644
--- a/docs/collect_readmes.py
+++ b/docs/collect_readmes.py
@@ -5,6 +5,7 @@ from docutils.core import publish_doctree
 full_name_lut = {
     'a35t': 'Arty 35T',
     'a100t': 'Arty 100T',
+    'nexys4DDR': 'Nexys 4 DDR',
     'basys3': 'Basys 3',
     'eos_s3': 'EOS S3',
     'zybo': 'Zybo Z7',
diff --git a/xc7/counter_test/README.rst b/xc7/counter_test/README.rst
index d65d88b..6d1545c 100644
--- a/xc7/counter_test/README.rst
+++ b/xc7/counter_test/README.rst
@@ -16,6 +16,11 @@ counter example, depending on your hardware, run:
    TARGET="arty_100" make -C counter_test
 
 
+.. code-block:: bash
+   :name: example-counter-nexys4ddr-group
+
+   TARGET="nexys4ddr" make -C counter_test
+
 .. code-block:: bash
    :name: example-counter-basys3-group