Handle spaces in filenames (#4945)

typetools · Oct 30, 2021 · 5fbbb24 · 5fbbb24
1 parent a4c435d
commit 5fbbb24
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/docs/manual/creating-a-checker.tex b/docs/manual/creating-a-checker.tex
@@ -1948,7 +1948,7 @@
 
 \begin{Verbatim}
 javac -processor mypackage.MyProcessor -Aflowdotdir=. MyClass.java
-for dotfile in *.dot; do dot -Tpdf -o $dotfile.pdf $dotfile; done
+for dotfile in *.dot; do dot -Tpdf -o "$dotfile.pdf" "$dotfile"; done
 \end{Verbatim}
 
 \noindent
@@ -1964,7 +1964,8 @@
 \subsubsectionAndLabel{Creating a CFG while running a type-checker}{creating-debugging-dataflow-graph-with-typechecker}
 
 To create a CFG while running a type-checker, use the following
-command-line options.
+command-line options. \\
+(See above for typical usage.)
 
 \begin{itemize}