A DIRECTORY /home/ubuntu/felix/build/release/share/src/tools
home Directories: __pycache__ timeout-4.11 Files: bootflx.flx dflx.flx dflx_web.flx fdoc2latex.flx flx.flx flx_batch_replace.flx flx_build_boot.flx flx_build_flxg.flx flx_build_prep.flx flx_build_rtl.flx flx_config.fdoc flx_config_ncurses.flx flx_cp.flx flx_fdoc2sphinx.flx flx_find_cxx_packages.flx flx_find_grammar_files.flx .py flx_gen_cxx_includes.flx flx_gengraph.flx flx_gramdoc.flx flx_grep.flx flx_iscr.fdoc .py flx_libcontents.flx flx_libindex.flx flx_ls.flx flx_mktutindex.flx flx_perror.flx flx_pkgconfig.flx flx_pretty.flx flx_renumber.flx flx_replace.flx flx_tangle.flx flx_testpack.flx flx_udp_trace_monitor.cxx flx_web.flx gslffi.flx mk_daemon.c norK.flx pposix.flx pycheck.flx scancython.flx scoop.flx