diff options
Diffstat (limited to 'doc/check-docs.sh')
-rwxr-xr-x | doc/check-docs.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/doc/check-docs.sh b/doc/check-docs.sh index 29579ea7..c0b04878 100755 --- a/doc/check-docs.sh +++ b/doc/check-docs.sh @@ -13,9 +13,7 @@ # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License -# along with this program; if not, write to the Free Software -# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, -# MA 02110-1301 USA +# along with this program. If not, see <http://www.gnu.org/licenses/>. usage() { cat <<EOT |