Fix makebuildserver after rename, tidy gitignores

.gitignore

@@ -6,15 +6,3 @@
 *.box
 # files generated by build
 FDroidServer.egg-info/
-# generated docs files
-docs/fdroid.aux
-docs/fdroid.cp
-docs/fdroid.cps
-docs/fdroid.fn
-docs/fdroid.info
-docs/fdroid.ky
-docs/fdroid.log
-docs/fdroid.pg
-docs/fdroid.toc
-docs/fdroid.tp
-docs/fdroid.vr

docs/.gitignore

@@ -1 +1,13 @@
-manual/
+/manual/
+# generated docs files
+/fdroid.aux
+/fdroid.cp
+/fdroid.cps
+/fdroid.fn
+/fdroid.info
+/fdroid.ky
+/fdroid.log
+/fdroid.pg
+/fdroid.toc
+/fdroid.tp
+/fdroid.vr

docs/fdroid.texi

@@ -1408,7 +1408,7 @@ proxy definition, both of which may need customising for your environment.
 You can then go to the @code{fdroidserver} directory and run this:
 
 @example
-./makebuildserver.py
+./makebuildserver
 @end example
 
 This will take a long time, and use a lot of bandwidth - most of it spent

makebuildserver

@@ -44,7 +44,7 @@ options, args = parser.parse_args()
 config = {}
 execfile('makebs.config.py', config)
 
-if not os.path.exists('makebuildserver.py') or not os.path.exists(serverdir):
+if not os.path.exists('makebuildserver') or not os.path.exists(serverdir):
     print 'This must be run from the correct directory!'
     sys.exit(1)
 

sampleconfigs/makebs.config.sample.py

@@ -1,6 +1,6 @@
 #!/usr/bin/env python2
 
-# You will need to alter these before running makebuildserver.py
+# You will need to alter these before running ./makebuildserver
 
 # Name of the base box to use...
 basebox = "raring32"