fix: Remove rust/target directory from git and update .gitignore #1

	name: Documentation

	on:
	push:
	branches: [main]
	pull_request:
	branches: [main]

	jobs:
	build-docs:
	name: Build Documentation
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4

	- name: Install Rust
	uses: dtolnay/rust-toolchain@stable

	- name: Build Rust docs
	run: cargo doc --no-deps --all-features
	working-directory: ./rust

	- name: Install uv
	uses: astral-sh/setup-uv@v5

	- name: Set up Python
	run: uv python install 3.12

	- name: Install dependencies
	run: uv sync

	- name: Build Python docs
	run: \|
	uv run pip install pdoc3
	uv run pdoc --html python/vedyut --output-dir docs/python

	- name: Deploy to GitHub Pages
	if: github.event_name == 'push' && github.ref == 'refs/heads/main'
	uses: peaceiris/actions-gh-pages@v3
	with:
	github_token: ${{ secrets.GITHUB_TOKEN }}
	publish_dir: ./docs

Navigation Menu