website-xrefs: website-version
for l in '' $(WEB_LANGS); do \
+ len="$${#l}" ; \
+ r="$$l"; \
+ if [ "$$len" -gt "0" ] ; then \
+ r="$$r"/; \
+ fi ; \
$(EXTRACT_TEXI_FILENAMES) \
-I $(top-src-dir)/Documentation \
-I $(top-src-dir)/Documentation/"$$l" \
$(EXTRACT_TEXI_FILENAMES) \
-I $(top-src-dir)/Documentation \
-I $(top-src-dir)/Documentation/"$$l" \
- -I $(top-src-dir)/Documentation/"$$l"/"$$d" \
+ -I $(top-src-dir)/Documentation/"$$r""$$d" \
--known-missing-files=$(top-src-dir)/scripts/build/website-known-missing-files.txt \
$(quiet-flag) \
-I $(OUT) -o $(OUT) "$$n" ; \
master_map_file = ''
known_missing_files = []
known_missing_files_file = ''
+docs_without_directories = ['changes', 'music-glossary']
suppress_output = False
initial_map = {}
for opt in options_list:
if os.path.isdir (a):
include_path.append (a)
else:
- print 'NOT A DIR from: ', os.getcwd (), a
+ path_list = a.split('/')
+ file_name = path_list[len(path_list)-1]
+ if not (file_name in docs_without_directories):
+ print a, 'is not a directory.'
+ print 'Please consider adding it to the list of '
+ print 'known missing files in extract_texi_filename.py.'
elif o == '-o' or o == '--output':
outdir = a
elif o == '-s' or o == '--split':