Hide text in API documentation under logo and run target for tests

mgrojo · Nov 18, 2023 · a751457 · a751457
1 parent d2934c8
commit a751457
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 2 deletions.
diff --git a/doc/gnatdoc.css b/doc/gnatdoc.css
@@ -51,7 +51,9 @@ td {
 
 #toc p.projectName {
     # Hide the text to show the logo
+    display: inline-block;
     text-indent: -9999px;
+    color: transparent;
     margin-left: 65px;
     height: 134px;
     width: 394px;

diff --git a/tests/Makefile b/tests/Makefile
@@ -1,6 +1,13 @@
+SUBDIRS:=clock  example graphics  music  opengl pong  renderwindow  thread  window
+
 all:
-	for dir in \
-		clock  example graphics  music  opengl pong  renderwindow  thread  window ; \
+	for dir in $(SUBDIRS) ; \
 	do \
 		$(MAKE) -C $$dir ; \
 	done
+
+run:
+	for dir in $(SUBDIRS) ; \
+	do \
+		$${dir}/main ; \
+	done
diff --git a/tools/gnatdoc_html/static/gnatdoc.css b/tools/gnatdoc_html/static/gnatdoc.css
@@ -51,7 +51,9 @@ td {
 
 #toc p.projectName {
     # Hide the text to show the logo
+    display: inline-block;
     text-indent: -9999px;
+    color: transparent;
     margin-left: 65px;
     height: 134px;
     width: 394px;