From 79c6cd37eb88b9d322bb99068b31065576d79b79 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Fri, 9 Oct 2020 07:57:08 -0700
Subject: [PATCH] [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
---
 .github/workflows/install.yml                          | 4 ++--
 Makefile                                               | 4 +++-
 infer/src/base/Checker.ml                              | 2 +-
 website/docs/checker-uninit.md                         | 2 +-
 website/static/man/1.0.0/infer-analyze.1.html          | 1 -
 website/static/man/1.0.0/infer-capture.1.html          | 1 -
 website/static/man/1.0.0/infer-compile.1.html          | 1 -
 website/static/man/1.0.0/infer-debug.1.html            | 1 -
 website/static/man/1.0.0/infer-explore.1.html          | 1 -
 website/static/man/1.0.0/infer-help.1.html             | 1 -
 website/static/man/1.0.0/infer-report.1.html           | 1 -
 website/static/man/1.0.0/infer-reportdiff.1.html       | 1 -
 website/static/man/1.0.0/infer-run.1.html              | 1 -
 website/static/man/1.0.0/infer.1.html                  | 1 -
 website/static/man/next/infer-analyze.1.html           | 1 -
 website/static/man/next/infer-capture.1.html           | 1 -
 website/static/man/next/infer-compile.1.html           | 1 -
 website/static/man/next/infer-debug.1.html             | 1 -
 website/static/man/next/infer-explore.1.html           | 1 -
 website/static/man/next/infer-help.1.html              | 1 -
 website/static/man/next/infer-report.1.html            | 1 -
 website/static/man/next/infer-reportdiff.1.html        | 1 -
 website/static/man/next/infer-run.1.html               | 1 -
 website/static/man/next/infer.1.html                   | 1 -
 website/versioned_docs/version-1.0.0/checker-uninit.md | 2 +-
 25 files changed, 8 insertions(+), 26 deletions(-)

diff --git a/.github/workflows/install.yml b/.github/workflows/install.yml
index 1ed656fa7..a33535f63 100644
--- 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
index cf4fe5473..2f6df817c 100644
--- 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
index 5c58f0b20..9b007a53b 100644
--- 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
index 4cd361940..11477e829 100644
--- 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
index b12b3d16f..3c34317b5 100644
--- a/website/static/man/1.0.0/infer-analyze.1.html
+++ b/website/static/man/1.0.0/infer-analyze.1.html
@@ -1,5 +1,4 @@
 <!-- Creator     : groff version 1.22.4 -->
-<!-- CreationDate: Fri Oct  9 12:52:31 2020 -->
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
 "http://www.w3.org/TR/html4/loose.dtd">
 <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
index 361e2dab0..d2255a18a 100644
--- a/website/static/man/1.0.0/infer-capture.1.html
+++ b/website/static/man/1.0.0/infer-capture.1.html
@@ -1,5 +1,4 @@
 <!-- Creator     : groff version 1.22.4 -->
-<!-- CreationDate: Fri Oct  9 12:52:31 2020 -->
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
 "http://www.w3.org/TR/html4/loose.dtd">
 <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
index bef6c660e..df328cf2d 100644
--- a/website/static/man/1.0.0/infer-compile.1.html
+++ b/website/static/man/1.0.0/infer-compile.1.html
@@ -1,5 +1,4 @@
 <!-- Creator     : groff version 1.22.4 -->
-<!-- CreationDate: Fri Oct  9 12:52:31 2020 -->
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
 "http://www.w3.org/TR/html4/loose.dtd">
 <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
index 9b97cdb74..49d5404d7 100644
--- a/website/static/man/1.0.0/infer-debug.1.html
+++ b/website/static/man/1.0.0/infer-debug.1.html
@@ -1,5 +1,4 @@
 <!-- Creator     : groff version 1.22.4 -->
-<!-- CreationDate: Fri Oct  9 12:52:31 2020 -->
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
 "http://www.w3.org/TR/html4/loose.dtd">
 <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
index 6abbfc2ef..c550b8315 100644
--- a/website/static/man/1.0.0/infer-explore.1.html
+++ b/website/static/man/1.0.0/infer-explore.1.html
@@ -1,5 +1,4 @@
 <!-- Creator     : groff version 1.22.4 -->
-<!-- CreationDate: Fri Oct  9 12:52:31 2020 -->
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
 "http://www.w3.org/TR/html4/loose.dtd">
 <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
index 549c84bc2..b6e0d0415 100644
--- a/website/static/man/1.0.0/infer-help.1.html
+++ b/website/static/man/1.0.0/infer-help.1.html
@@ -1,5 +1,4 @@
 <!-- Creator     : groff version 1.22.4 -->
-<!-- CreationDate: Fri Oct  9 12:52:31 2020 -->
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
 "http://www.w3.org/TR/html4/loose.dtd">
 <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
index 76f9331e2..6423ae114 100644
--- a/website/static/man/1.0.0/infer-report.1.html
+++ b/website/static/man/1.0.0/infer-report.1.html
@@ -1,5 +1,4 @@
 <!-- Creator     : groff version 1.22.4 -->
-<!-- CreationDate: Fri Oct  9 12:52:31 2020 -->
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
 "http://www.w3.org/TR/html4/loose.dtd">
 <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
index 909b15e43..327dc172c 100644
--- a/website/static/man/1.0.0/infer-reportdiff.1.html
+++ b/website/static/man/1.0.0/infer-reportdiff.1.html
@@ -1,5 +1,4 @@
 <!-- Creator     : groff version 1.22.4 -->
-<!-- CreationDate: Fri Oct  9 12:52:31 2020 -->
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
 "http://www.w3.org/TR/html4/loose.dtd">
 <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
index c257af1f6..8c6cc04cd 100644
--- a/website/static/man/1.0.0/infer-run.1.html
+++ b/website/static/man/1.0.0/infer-run.1.html
@@ -1,5 +1,4 @@
 <!-- Creator     : groff version 1.22.4 -->
-<!-- CreationDate: Fri Oct  9 12:52:31 2020 -->
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
 "http://www.w3.org/TR/html4/loose.dtd">
 <html>
diff --git a/website/static/man/1.0.0/infer.1.html b/website/static/man/1.0.0/infer.1.html
index 6fafa8e5f..f3f91f21d 100644
--- a/website/static/man/1.0.0/infer.1.html
+++ b/website/static/man/1.0.0/infer.1.html
@@ -1,5 +1,4 @@
 <!-- Creator     : groff version 1.22.4 -->
-<!-- CreationDate: Fri Oct  9 12:52:31 2020 -->
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
 "http://www.w3.org/TR/html4/loose.dtd">
 <html>
diff --git a/website/static/man/next/infer-analyze.1.html b/website/static/man/next/infer-analyze.1.html
index b12b3d16f..3c34317b5 100644
--- a/website/static/man/next/infer-analyze.1.html
+++ b/website/static/man/next/infer-analyze.1.html
@@ -1,5 +1,4 @@
 <!-- Creator     : groff version 1.22.4 -->
-<!-- CreationDate: Fri Oct  9 12:52:31 2020 -->
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
 "http://www.w3.org/TR/html4/loose.dtd">
 <html>
diff --git a/website/static/man/next/infer-capture.1.html b/website/static/man/next/infer-capture.1.html
index 361e2dab0..d2255a18a 100644
--- a/website/static/man/next/infer-capture.1.html
+++ b/website/static/man/next/infer-capture.1.html
@@ -1,5 +1,4 @@
 <!-- Creator     : groff version 1.22.4 -->
-<!-- CreationDate: Fri Oct  9 12:52:31 2020 -->
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
 "http://www.w3.org/TR/html4/loose.dtd">
 <html>
diff --git a/website/static/man/next/infer-compile.1.html b/website/static/man/next/infer-compile.1.html
index bef6c660e..df328cf2d 100644
--- a/website/static/man/next/infer-compile.1.html
+++ b/website/static/man/next/infer-compile.1.html
@@ -1,5 +1,4 @@
 <!-- Creator     : groff version 1.22.4 -->
-<!-- CreationDate: Fri Oct  9 12:52:31 2020 -->
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
 "http://www.w3.org/TR/html4/loose.dtd">
 <html>
diff --git a/website/static/man/next/infer-debug.1.html b/website/static/man/next/infer-debug.1.html
index 9b97cdb74..49d5404d7 100644
--- a/website/static/man/next/infer-debug.1.html
+++ b/website/static/man/next/infer-debug.1.html
@@ -1,5 +1,4 @@
 <!-- Creator     : groff version 1.22.4 -->
-<!-- CreationDate: Fri Oct  9 12:52:31 2020 -->
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
 "http://www.w3.org/TR/html4/loose.dtd">
 <html>
diff --git a/website/static/man/next/infer-explore.1.html b/website/static/man/next/infer-explore.1.html
index 6abbfc2ef..c550b8315 100644
--- a/website/static/man/next/infer-explore.1.html
+++ b/website/static/man/next/infer-explore.1.html
@@ -1,5 +1,4 @@
 <!-- Creator     : groff version 1.22.4 -->
-<!-- CreationDate: Fri Oct  9 12:52:31 2020 -->
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
 "http://www.w3.org/TR/html4/loose.dtd">
 <html>
diff --git a/website/static/man/next/infer-help.1.html b/website/static/man/next/infer-help.1.html
index 549c84bc2..b6e0d0415 100644
--- a/website/static/man/next/infer-help.1.html
+++ b/website/static/man/next/infer-help.1.html
@@ -1,5 +1,4 @@
 <!-- Creator     : groff version 1.22.4 -->
-<!-- CreationDate: Fri Oct  9 12:52:31 2020 -->
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
 "http://www.w3.org/TR/html4/loose.dtd">
 <html>
diff --git a/website/static/man/next/infer-report.1.html b/website/static/man/next/infer-report.1.html
index 76f9331e2..6423ae114 100644
--- a/website/static/man/next/infer-report.1.html
+++ b/website/static/man/next/infer-report.1.html
@@ -1,5 +1,4 @@
 <!-- Creator     : groff version 1.22.4 -->
-<!-- CreationDate: Fri Oct  9 12:52:31 2020 -->
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
 "http://www.w3.org/TR/html4/loose.dtd">
 <html>
diff --git a/website/static/man/next/infer-reportdiff.1.html b/website/static/man/next/infer-reportdiff.1.html
index 909b15e43..327dc172c 100644
--- a/website/static/man/next/infer-reportdiff.1.html
+++ b/website/static/man/next/infer-reportdiff.1.html
@@ -1,5 +1,4 @@
 <!-- Creator     : groff version 1.22.4 -->
-<!-- CreationDate: Fri Oct  9 12:52:31 2020 -->
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
 "http://www.w3.org/TR/html4/loose.dtd">
 <html>
diff --git a/website/static/man/next/infer-run.1.html b/website/static/man/next/infer-run.1.html
index c257af1f6..8c6cc04cd 100644
--- a/website/static/man/next/infer-run.1.html
+++ b/website/static/man/next/infer-run.1.html
@@ -1,5 +1,4 @@
 <!-- Creator     : groff version 1.22.4 -->
-<!-- CreationDate: Fri Oct  9 12:52:31 2020 -->
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
 "http://www.w3.org/TR/html4/loose.dtd">
 <html>
diff --git a/website/static/man/next/infer.1.html b/website/static/man/next/infer.1.html
index 6fafa8e5f..f3f91f21d 100644
--- a/website/static/man/next/infer.1.html
+++ b/website/static/man/next/infer.1.html
@@ -1,5 +1,4 @@
 <!-- Creator     : groff version 1.22.4 -->
-<!-- CreationDate: Fri Oct  9 12:52:31 2020 -->
 <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
 "http://www.w3.org/TR/html4/loose.dtd">
 <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
index 140b5ea28..749cd625d 100644
--- 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."
 ---