Skip to content

Commit

Permalink
minor edits README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
christinerose authored Nov 8, 2024
1 parent c7a4623 commit 557aad1
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions manual/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -44,10 +44,10 @@ The manual is written in an extended dialect of LaTeX and is split across many
source files. During the build process, these source files are converted into
classical LaTeX files using the tools available in the `manual/tools`
directory. These files are then converted to the different output
formats using either LaTeX or hevea.
formats using either LaTeX or HeVeA.

Each part of the manual corresponds to a specific directory, and each distinct
chapters (or sometimes sections) are mapped to a distinct `.etex` file:
chapter (or sometimes sections) are mapped to a distinct `.etex` file:

- Part I, Introduction to OCaml: `tutorials`
- The core language: `coreexamples.etex`
Expand Down

0 comments on commit 557aad1

Please sign in to comment.