From 0cf44da9177dd5c6a1262114c9f6150066c22fd9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sun, 14 Aug 2016 16:35:38 +0200 Subject: [PATCH] Minor formatting. --- doc/command-line-interface.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/doc/command-line-interface.md b/doc/command-line-interface.md index 5b4715f..03f48b4 100644 --- a/doc/command-line-interface.md +++ b/doc/command-line-interface.md @@ -5,10 +5,11 @@ $ plasp [files] [options] ``` `plasp` automatically detects the language of the input files. -Multiple files may be provided in an arbitrary order. -`[files]` may be omitted, in which case the input is read from `std::cin`. -The `[options]` are listed below: +Multiple files may be provided in an arbitrary order. +`[files]` may also be omitted, in which case the input is read from `std::cin`. + +`plasp` supports the following options: | **option** | **explanation** | |-----------------------------------|-----------------------------------------------------------------------------------------------------------------------------------|