Merge pull request #18 from tanij/master19

polishing
amackeith · Apr 28, 2019 · 1b0a111 · 1b0a111
2 parents d6daee2 + 4ae3b35
commit 1b0a111
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 7 deletions.
diff --git a/book/duckumentation/00_book_contribute.md b/book/duckumentation/00_book_contribute.md
@@ -1,7 +1,5 @@
 # Duckumentation documentation {#book:contribute status=ready}
 
-Maintainer: Andrea Censi
-
 This book describes the features of our documentation system and the procedures to update it.
 
 <minitoc/>
diff --git a/book/duckumentation/20_markduck/66_special_envs.md b/book/duckumentation/20_markduck/66_special_envs.md
@@ -4,9 +4,10 @@
 
 The system supports parsing of some special paragraphs.
 
-Note: some of these might be redundant and will be eliminated. For now,
+<!--
+Note some of these might be redundant and will be eliminated. For now,
 I am documenting what is implemented.
-
+-->
 
 ### Special paragraphs must be separated by a line {#empty-line-before-special}
 
@@ -106,17 +107,17 @@ Q: question
 
 A: answer
 
-
 ### Authors, maintainers, Point of Contact
 
     Maintainer: maintainer
 
 Maintainer: maintainer
 
     Assigned: AndreaCensi
-    
+
 Assigned: AndreaCensi
 
+
 <!-- deprecated
 
     Author: author

diff --git a/book/duckumentation/40_backend/20_circle_ci.md b/book/duckumentation/40_backend/20_circle_ci.md
@@ -1,3 +1,3 @@
-# CircleCI integration {#duckumentation-circleci status=draft}
+# CircleCI integration {#duckumentation-circleci status=beta}
 
 TODO: Describe what is going on.