#!/bin/bash # -*- coding: utf-8 -*- # Timestamp: 2026-01-20 # File: examples/01_compile_manuscript.sh # Example: Compile manuscript with various options # Usage: ./examples/01_compile_manuscript.sh set -e SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" PROJECT_ROOT="$(dirname "$SCRIPT_DIR")" echo "=== Example 01: Compile Manuscript ===" # Fast compilation (draft mode, no diff) echo "1. Fast compilation (draft, no diff)..." "$PROJECT_ROOT/compile.sh" manuscript --draft --no_diff --quiet echo " Output: $PROJECT_ROOT/01_manuscript/manuscript.pdf" # Full compilation with diff echo "2. Full compilation with diff..." "$PROJECT_ROOT/compile.sh" manuscript --quiet echo " Output: $PROJECT_ROOT/01_manuscript/manuscript.pdf" echo " Diff: $PROJECT_ROOT/01_manuscript/manuscript_diff.pdf" echo "=== Done ===" # EOF