Commit 879b26d5 authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain

typo doc

parent b36dcf0b
......@@ -11,6 +11,8 @@
:- use_module(doc).
:- devdoc('\\section{Commands}').
......@@ -28,8 +30,8 @@ export_graph(OutputFile) :-
Exports the current graph in a file.
The format is chosen from the suffix:
\\texttt{.dot}, \ttexttt{.pdf}, \ttexttt{.eps}, \ttexttt{.ps},
\ttexttt{.png} or \ttexttt{.svg}
\\texttt{.dot}, \\texttt{.pdf}, \\texttt{.eps}, \\texttt{.ps},
\\texttt{.png} or \\texttt{.svg}
-- assuming no extension is \\texttt{.dot}.
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment