[web-doc] master: Make reality act like the documentation

Author: Derick Rethans (derickr) Date: 2023-11-06T09:38:23Z Commit: https://github.com/php/web-doc/commit/e30a3d2392667af8856015890f4e2772270d5670 Raw diff: https://github.com/php/web-doc/commit/e30a3d2392667af8856015890f4e2772270d5670.diff Make reality act like the documentation Changed paths: M README.md M build-ops.sample M scripts/populatedocs.sh Diff: diff --git a/README.md b/README.md index 4bee20a..759ef87 100644 --- a/README.md +++ b/README.md @@ -24,8 +24,8 @@ Requirements: - @SQLITEDIR@ - absolute path to /sqlite/ directory - @SRCDIR@ - path to the directory with PHP source code in GIT repo 4. You need to run the scripts/populatedocs.sh to fetch all the required documentation for the site. -6. You need to run the scripts/generation.sh to generate the database and graphs (Time of generation: 2.5009639263153 s) -7. Configure the virtual host under Apache. Current suggested settings are: +5. You need to run the scripts/generation.sh to generate the database and graphs (Time of generation: 2.5009639263153 s) +6. Configure the virtual host under Apache. Current suggested settings are: ``` <VirtualHost 127.0.0.1:80> ServerName doc.php.net diff --git a/build-ops.sample b/build-ops.sample index 2c9776e..e54196c 100644 --- a/build-ops.sample +++ b/build-ops.sample @@ -2,7 +2,7 @@ # Please read README.md in the same directory to get more info about filling in this file PHP=@PHP@ -GIT_DIR=@GITDIR@ +GITDIR=@GITDIR@ DOCWEB=@DOCWEB@ PHDDIR=@PHDDIR@ SCRIPTSDIR=@SCRIPTSDIR@ diff --git a/scripts/populatedocs.sh b/scripts/populatedocs.sh index 3cdadd7..88cd5df 100755 --- a/scripts/populatedocs.sh +++ b/scripts/populatedocs.sh @@ -24,14 +24,14 @@ pushd . cd dirname $0/.. source ./build-ops -if [ ! -d ${GIT_DIR} ] +if [ ! -d ${GITDIR} ] then - echo "Making GIT directory: ${GIT_DIR}" - /bin/mkdir ${GIT_DIR} + echo "Making GIT directory: ${GITDIR}" + /bin/mkdir ${GITDIR} fi -echo "Changing to GIT directory: ${GIT_DIR}" -cd ${GIT_DIR} +echo "Changing to GIT directory: ${GITDIR}" +cd ${GITDIR} echo "Checking out PHP docs..." if [ -d en ] @@ -48,4 +48,4 @@ else fi echo -n "Reverting directory:" -popd \ No newline at end of file +popd