1
0
mirror of https://github.com/emilk/egui.git synced 2026-09-01 14:20:04 -04:00

Improve documentation and logging

This commit is contained in:
Emil Ernerfeldt
2022-08-20 15:06:43 +02:00
parent 725aa5277b
commit 8737933101
5 changed files with 11 additions and 4 deletions

View File

@@ -3,7 +3,7 @@ set -eu
script_path=$( cd "$(dirname "${BASH_SOURCE[0]}")" ; pwd -P )
cd "$script_path/.."
cargo doc -p eframe --target wasm32-unknown-unknown --lib --no-deps --all-features
cargo doc -p eframe --target wasm32-unknown-unknown --lib --no-deps
cargo doc -p emath -p epaint -p egui -p eframe -p egui-winit -p egui_extras -p egui_glium -p egui_glow --lib --no-deps --all-features --open
# cargo watch -c -x 'doc -p emath -p epaint -p egui --lib --no-deps --all-features'