From 510d41ff7d12c8a8ba230d3b3f732b19a20f15e3 Mon Sep 17 00:00:00 2001 From: gcontini <1121667+gcontini@users.noreply.github.com> Date: 周六, 31 10月 2020 10:28:34 +0800 Subject: [PATCH] doc & miscellaneous changes --- .travis.yml | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.travis.yml b/.travis.yml index f7ac610..370681f 100644 --- a/.travis.yml +++ b/.travis.yml @@ -59,7 +59,7 @@ - cat /proc/mounts - ls -lLai /dev/disk/by-uuid - ls -lLai /dev/disk/by-label - - ls -la /dev + - ls -lai /dev - ls -la /run - cmake --build . --target install - ctest -T memcheck; cat /tmp/open-license.log @@ -278,7 +278,7 @@ - doxygen - graphviz before_script: - - pip3 install setuptools sphinx sphinx_rtd_theme breathe sphinx-markdown-tables recommonmark sphinx-rtd-theme sphinx-sitemap sphinxemoji + - pip3 install setuptools sphinx sphinx_rtd_theme breathe sphinx-markdown-tables recommonmark sphinx-sitemap sphinxemoji - cd build && cmake -DCMAKE_INSTALL_PREFIX=../../install .. script: - make documentation -- Gitblit v1.9.1