6 commits

Author	SHA1	Message	Date
Paul Gauthier	0d9150c77b	coq for languages.md	2024-06-05 20:24:19 -07:00
Paul Gauthier	e3cc69d0c8	coq for in-chat commands	2024-06-05 20:10:48 -07:00
Paul Gauthier	47346af823	aider: Set ARG based on the presence of a command line argument. ... # Aider chat conversation: USER: if no cmd line arg, set ARG=-r otherwise set ARG=$1 ASSISTANT: Here is the required change to set `ARG` based on the presence of a command line argument: scripts/update-docs.sh ```bash <<<<<<< SEARCH # exit when any command fails set -e cog $ARG website/index.md cog $ARG website/docs/usage.md ======= # exit when any command fails set -e if [ -z "$1" ]; then ARG=-r else ARG=$1 fi cog $ARG website/index.md cog $ARG website/docs/usage.md >>>>>>> REPLACE ```	2024-06-05 19:57:19 -07:00
Paul Gauthier	2c50455000	Updated cog commands in update-docs.sh script to use a variable for arguments.	2024-06-05 19:57:18 -07:00
Paul Gauthier	5ea4e506a6	cog to update index.md	2024-06-05 19:47:08 -07:00
Paul Gauthier	6f9e0ce37f	cog to update usage.md	2024-06-05 19:43:24 -07:00