diff options
| author | Michael Paquier | 2019-07-29 03:28:30 +0000 |
|---|---|---|
| committer | Michael Paquier | 2019-07-29 03:28:30 +0000 |
| commit | eb43f3d19324d7e5376b1f57fc2e5c142a6b5f3d (patch) | |
| tree | bf891accfbaff49a006960ebdfd4f1f8e12d4252 /src/tools | |
| parent | 7cce159349ccdb39ade07f869f08e4929ef2fe0b (diff) | |
Fix inconsistencies and typos in the tree
This is numbered take 8, and addresses again a set of issues with code
comments, variable names and unreferenced variables.
Author: Alexander Lakhin
Discussion: https://postgr.es/m/b137b5eb-9c95-9c2f-586e-38aba7d59788@gmail.com
Diffstat (limited to 'src/tools')
| -rwxr-xr-x | src/tools/FAQ2txt | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/tools/FAQ2txt b/src/tools/FAQ2txt deleted file mode 100755 index ab61d4d5f8c..00000000000 --- a/src/tools/FAQ2txt +++ /dev/null @@ -1,7 +0,0 @@ -#!/bin/sh - -# src/tools/FAQ2txt: - -# Converts doc/src/FAQ/FAQ.html to text file doc/FAQ - -lynx -force_html -dont_wrap_pre -dump -hiddenlinks=ignore -nolist "$@" |