Skip to content

Commit

Permalink
Fixed documentation
Browse files Browse the repository at this point in the history
  • Loading branch information
paolobettelini committed Sep 14, 2024
1 parent b22af6a commit b71076b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion documentation/src/notes_compiler.md
Original file line number Diff line number Diff line change
Expand Up @@ -40,5 +40,5 @@ notes --universes -r "..." # compiles all the universes that match the regex
notes course1 File1 File2 # compile multiple inputs
notes -r reg1 reg2 # compiles files matching reg1 or reg2
notes "Something" --containing "\command" # compiles every file name that contains "Something" whose content contains "\command"
notes -r "Something.+" --containing "\\command" # like the one above but with regex matching
notes -r "Something.+" --containing "\command" # like the one above but with regex matching
```

0 comments on commit b71076b

Please sign in to comment.