docs: ref/compiler: Clean up sectioning. (SQUASH ^{16})

[skip ci][skip lemma]
au-ts · Feb 14, 2020 · 2b81607 · 2b81607
1 parent da8ad66
commit 2b81607
Showing 1 changed file with 3 additions and 6 deletions.
diff --git a/docs/reference/compiler.rst b/docs/reference/compiler.rst
@@ -1,11 +1,8 @@
 ************************************************************************
-                     How To Use The |cogent| Compiler
+                      Using the |cogent| Compiler
 ************************************************************************
 
 
-Command-line Arguments
-====================================
-
 The |cogent| compiler accepts
 a large number of command-line arguments,
 which are either *commands*,
@@ -63,7 +60,7 @@ A typical invocation might be::
            mandelbrot.cogent
 
 Commands
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+====================================
 
 --ast-c  \
     parse C file with |cogent| antiquotation and print AST
@@ -197,7 +194,7 @@ Commands
 
 
 All Flags
-^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+====================================
 
 -o NAME, --output-name=NAME  \
     specify base name for output files;