[PR] site: faster make lint [iceberg]

["kevinjqliu (via GitHub)" <gi...@apache.org>]

kevinjqliu opened a new pull request, #14492:
URL: https://github.com/apache/iceberg/pull/14492

   `make lint` (`site/dev/lint.sh`) does not require running `./dev/setup_env.sh`, which pulls versioned documentation (`pull_versioned_docs`). This step is unnecessary for linting.
   
   `make lint` only needs the environment set up via `create_venv` and `install_deps`.
   
   Additionally, use the `../docs/docs` folder instead of `docs/docs/nightly/docs/*.md` for linting. These paths point to the same location because they are sym links
   https://github.com/apache/iceberg/blob/94d9287b7a3b7474aa0776c315ec000fc97de329/site/dev/common.sh#L77
   
   
   Follow up to #14466


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: issues-unsubscribe@iceberg.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org


---------------------------------------------------------------------
To unsubscribe, e-mail: issues-unsubscribe@iceberg.apache.org
For additional commands, e-mail: issues-help@iceberg.apache.org

Re: [PR] site: faster make lint [iceberg]

["kevinjqliu (via GitHub)" <gi...@apache.org>]

kevinjqliu merged PR #14492:
URL: https://github.com/apache/iceberg/pull/14492


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: issues-unsubscribe@iceberg.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org


---------------------------------------------------------------------
To unsubscribe, e-mail: issues-unsubscribe@iceberg.apache.org
For additional commands, e-mail: issues-help@iceberg.apache.org