[website] misc. minor improvements

Summary: - rename the checker "Uninitialized Variable" to "Uninitialized Value" as this is the name of the issue type - delete timestamp XML comment from the man pages to avoid future git churn when updating the website - counting is hard Reviewed By: martintrojer Differential Revision: D24219165 fbshipit-source-id: cf3057373
facebook · Oct 9, 2020 · 79c6cd3 · 79c6cd3
1 parent cce1934
commit 79c6cd3
Show file tree

Hide file tree

Showing 25 changed files with 8 additions and 26 deletions.
diff --git a/.github/workflows/install.yml b/.github/workflows/install.yml
@@ -30,8 +30,8 @@ jobs:
             4. Download the release tarballs and test that the binaries works.
             5. Fill in the shasums by running the command at the end of the release text.
             --- PUBLISH GITHUB RELEASE HERE ---
-            5. At some point, copy the GitHub changelog to Changelog.md in the repo.
-            6. Tweet.
+            6. At some point, copy the GitHub changelog to Changelog.md in the repo.
+            7. Tweet.
             --- DELETE EVERYTHING ABOVE THIS LINE ---
 
             This is a binary release of Infer for Linux and MacOS. To use it follow these [instructions](http://fbinfer.com/docs/getting-started.html).

diff --git a/Makefile b/Makefile
@@ -915,7 +915,9 @@ endif
 	$(QUIET)$(call silent_on_success,Copying man pages,\
 	$(REMOVE) "$(WEBSITE_DIR)"/static/man/*; \
 	for man in $(INFER_GROFF_MANUALS); do \
-	  groff -Thtml "$$man" > "$(WEBSITE_DIR)"/static/man/next/$$(basename "$$man").html; \
+	  groff -Thtml "$$man" \
+	  | grep -v '^<!-- CreationDate: .*>$$' \
+	  > "$(WEBSITE_DIR)"/static/man/next/$$(basename "$$man").html; \
 	done)
 	$(QUIET)$(call silent_on_success,Building OCaml modules documentation,\
 	$(MAKE) IS_FACEBOOK_TREE=no NO_BROWSE_DOC=yes doc)

diff --git a/infer/src/base/Checker.ml b/infer/src/base/Checker.ml
@@ -396,7 +396,7 @@ let config_unsafe checker =
       ; activates= [Pulse] }
   | Uninit ->
       { id= "uninit"
-      ; kind= UserFacing {title= "Uninitialized Variable"; markdown_body= ""}
+      ; kind= UserFacing {title= "Uninitialized Value"; markdown_body= ""}
       ; support= supports_clang
       ; short_documentation= "Warns when values are used before having been initialized."
       ; cli_flags= Some {deprecated= []; show_in_help= true}

diff --git a/website/docs/checker-uninit.md b/website/docs/checker-uninit.md
@@ -1,5 +1,5 @@
 ---
-title: "Uninitialized Variable"
+title: "Uninitialized Value"
 description: "Warns when values are used before having been initialized."
 ---
 

diff --git a/website/static/man/1.0.0/infer-analyze.1.html b/website/static/man/1.0.0/infer-analyze.1.html
diff --git a/website/static/man/1.0.0/infer-capture.1.html b/website/static/man/1.0.0/infer-capture.1.html
diff --git a/website/static/man/1.0.0/infer-compile.1.html b/website/static/man/1.0.0/infer-compile.1.html
diff --git a/website/static/man/1.0.0/infer-debug.1.html b/website/static/man/1.0.0/infer-debug.1.html
diff --git a/website/static/man/1.0.0/infer-explore.1.html b/website/static/man/1.0.0/infer-explore.1.html
diff --git a/website/static/man/1.0.0/infer-help.1.html b/website/static/man/1.0.0/infer-help.1.html
diff --git a/website/static/man/1.0.0/infer-report.1.html b/website/static/man/1.0.0/infer-report.1.html
diff --git a/website/static/man/1.0.0/infer-reportdiff.1.html b/website/static/man/1.0.0/infer-reportdiff.1.html
diff --git a/website/static/man/1.0.0/infer-run.1.html b/website/static/man/1.0.0/infer-run.1.html
diff --git a/website/static/man/1.0.0/infer.1.html b/website/static/man/1.0.0/infer.1.html
diff --git a/website/static/man/next/infer-analyze.1.html b/website/static/man/next/infer-analyze.1.html
diff --git a/website/static/man/next/infer-capture.1.html b/website/static/man/next/infer-capture.1.html
diff --git a/website/static/man/next/infer-compile.1.html b/website/static/man/next/infer-compile.1.html
diff --git a/website/static/man/next/infer-debug.1.html b/website/static/man/next/infer-debug.1.html
diff --git a/website/static/man/next/infer-explore.1.html b/website/static/man/next/infer-explore.1.html
diff --git a/website/static/man/next/infer-help.1.html b/website/static/man/next/infer-help.1.html
diff --git a/website/static/man/next/infer-report.1.html b/website/static/man/next/infer-report.1.html
diff --git a/website/static/man/next/infer-reportdiff.1.html b/website/static/man/next/infer-reportdiff.1.html
diff --git a/website/static/man/next/infer-run.1.html b/website/static/man/next/infer-run.1.html
diff --git a/website/static/man/next/infer.1.html b/website/static/man/next/infer.1.html
diff --git a/website/versioned_docs/version-1.0.0/checker-uninit.md b/website/versioned_docs/version-1.0.0/checker-uninit.md
@@ -1,5 +1,5 @@
 ---
-title: "Uninitialized Variable"
+title: "Uninitialized Value"
 description: "Warns when values are used before having been initialized."
 ---