INSTALL: fixing copy-paste bugs.

Thanks to Tobias (@Tobias on Gitlab) for noticing.
This commit is contained in:
Jehan 2022-08-09 11:48:22 +02:00
parent dd580717f0
commit caebbe4603
1 changed files with 3 additions and 3 deletions

View File

@ -382,13 +382,13 @@ These are:
Python plug-ins, you can use -Dpython=false. Python plug-ins, you can use -Dpython=false.
-Djavascript=false If for some reason you don't want to install the -Djavascript=false If for some reason you don't want to install the
Python plug-ins, you can use -Djavascript=false. JavaScript plug-ins, you can use -Djavascript=false.
-Dlua=false If for some reason you don't want to install the -Dlua=false If for some reason you don't want to install the
Python plug-ins, you can use -Dlua=false. Lua plug-ins, you can use -Dlua=false.
-Dvala-plugins=disabled If for some reason you don't want to install the -Dvala-plugins=disabled If for some reason you don't want to install the
Python plug-ins, you can use -Dvala-plugins=disabled. Vala plug-ins, you can use -Dvala-plugins=disabled.
This list is manually maintained. To get an exhaustive listing of options, This list is manually maintained. To get an exhaustive listing of options,