Find out where doc.git is.

This commit is contained in:
Greg King
2022-06-17 08:35:06 -04:00
parent 3f314c0ee9
commit 0dab508c75

View File

@@ -106,6 +106,8 @@ jobs:
- name: Update the online documents. - name: Update the online documents.
run: | run: |
pwd
ls
cd doc.git cd doc.git
rm *.* rm *.*
cp ../html/*.* . cp ../html/*.* .