mirror of
https://github.com/jupyter/notebook.git
synced 2025-01-12 11:45:38 +08:00
Merge pull request #2377 from astrofrog/fix-man-python3
Fix installation of man pages in Python 3
This commit is contained in:
commit
de74e85246
@ -204,12 +204,12 @@ def find_data_files():
|
|||||||
manpagebase = pjoin('share', 'man', 'man1')
|
manpagebase = pjoin('share', 'man', 'man1')
|
||||||
|
|
||||||
# Simple file lists can be made by hand
|
# Simple file lists can be made by hand
|
||||||
manpages = filter(isfile, glob(pjoin('docs','man','*.1.gz')))
|
manpages = [f for f in glob(pjoin('docs','man','*.1.gz')) if isfile(f)]
|
||||||
if not manpages:
|
if not manpages:
|
||||||
# When running from a source tree, the manpages aren't gzipped
|
# When running from a source tree, the manpages aren't gzipped
|
||||||
manpages = filter(isfile, glob(pjoin('docs','man','*.1')))
|
manpages = [f for f in glob(pjoin('docs','man','*.1')) if isfile(f)]
|
||||||
igridhelpfiles = filter(isfile,
|
|
||||||
glob(pjoin('IPython','extensions','igrid_help.*')))
|
igridhelpfiles = [f for f in glob(pjoin('IPython','extensions','igrid_help.*')) if isfile(f)]
|
||||||
|
|
||||||
# For nested structures, use the utility above
|
# For nested structures, use the utility above
|
||||||
example_files = make_dir_struct(
|
example_files = make_dir_struct(
|
||||||
|
Loading…
Reference in New Issue
Block a user