From 705a96f6c0fae00314e239817c92a4311af0d173 Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Wed, 16 Jul 2014 22:28:02 +0200 Subject: [PATCH] Rename generate_manpage to generate_doc --- scripts/{generate_manpage.py => generate_doc.py} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename scripts/{generate_manpage.py => generate_doc.py} (100%) diff --git a/scripts/generate_manpage.py b/scripts/generate_doc.py similarity index 100% rename from scripts/generate_manpage.py rename to scripts/generate_doc.py