diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2009-11-07 16:41:33 +0000 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2009-11-07 16:41:33 +0000 |
commit | e4a3cf40056a01c459bbe7e3e4f3e9e68ff846e7 (patch) | |
tree | f9f56148f20d43f796f186490cf0d2e25d9216f6 | |
parent | b8640c1a2cf6dff7a5c9053051afb2d0ce1b9c69 (diff) | |
download | gpsd-e4a3cf40056a01c459bbe7e3e4f3e9e68ff846e7.tar.gz |
Previous setup.py fix mysteriously didn't work. Adding instrumentation.
-rw-r--r-- | setup.py | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -24,8 +24,11 @@ try: # Doesn't matter what it is, just that we have one if sys.argv[where+1]: manpages=[('share/man/man1', ['gpscat.1', 'gpsfake.1','gpsprof.1'])] + print "Installing manual pages, generator is", sys.argv[where+1] sys.argv = sys.argv[:where] + sys.argv[where+2:] except ValueError: + pass +if not manpages: print "No XML processor, omitting manual-page installation." if not 'clean' in sys.argv: |