requirements: Generate pip.txt from pip.in like the other *.txt files.

Signed-off-by: Anders Kaseorg <anders@zulipchat.com>

requirements/pip.in

@@ -0,0 +1,3 @@
+pip
+setuptools
+wheel

requirements/pip.txt

@@ -1,4 +1,14 @@
-# Dependencies for setting up pip to install our requirements.txt file.
+#
+# This file is GENERATED.  Don't edit directly.
+#
+# To update, edit the non-"lock" files in requirements/*.txt, then:
+#
+#    tools/update-locked-requirements
+#
+# For details, see requirements/README.md .
+#
+wheel==0.33.4
+
+# The following packages are considered to be unsafe in a requirements file:
 pip==19.2.3
 setuptools==41.0.1
-wheel==0.33.4

tools/update-locked-requirements

@@ -60,6 +60,7 @@ if [ $# -gt 0 ]; then
     done
 fi
 
+compile_requirements requirements/pip.in "$OUTPUT_BASE_DIR/pip.txt"
 compile_requirements requirements/prod.in "$OUTPUT_BASE_DIR/prod.txt"
 compile_requirements requirements/dev.in "$OUTPUT_BASE_DIR/dev.txt"
 compile_requirements requirements/mypy.in "$OUTPUT_BASE_DIR/mypy.txt"