docs: Fix option styling.
tree84faada2f6a1df5f483b7a2a4a6b3744629c3b51
-rw-r--r-- 73 .dir-locals.el
-rw-r--r-- 2229 .gitignore
-rw-r--r-- 2772 BENCHMARKING
-rw-r--r-- 1432 LICENSE
-rw-r--r-- 3772 Makefile.am
-rw-r--r-- 620 OTHER_PLUGINS
-rw-r--r-- 5441 README
-rw-r--r-- 387 SECURITY
-rw-r--r-- 8006 TODO
drwxr-xr-x - bash
-rw-r--r-- 1640 common-rules.mk
drwxr-xr-x - common
-rw-r--r-- 34702 configure.ac
drwxr-xr-x - docs
drwxr-xr-x - filters
drwxr-xr-x - fuzzing
drwxr-xr-x - html
drwxr-xr-x - include
drwxr-xr-x - m4
drwxr-xr-x - plugins
-rwxr-xr-x 14581 podwrapper.pl.in
drwxr-xr-x - scripts
drwxr-xr-x - server
drwxr-xr-x - tests
drwxr-xr-x - valgrind
-rw-r--r-- 8740 wrapper.c