Deducteam / Logipedia

An encyclopedia of proofs
57 stars 11 forks source link

mkdocs warnings #39

Closed fblanqui closed 2 years ago

fblanqui commented 2 years ago
07:46 ~/src/Logipedia (master) mkdocs build
INFO    -  Cleaning site directory 
INFO    -  Building documentation to directory: /home/blanqui/src/Logipedia/site 
INFO    -  The following pages exist in the docs directory, but are not included in the "nav" configuration:
  - authors.md
  - erratum.md
  - structure.md
  - export/apropos.md
  - export/cli.md
  - export/installation.md
  - import/apropos.md
  - import/contributing.md
  - publication/generation.md
  - publication/installation.md 
WARNING -  A relative path to 'import.md' is included in the 'nav' configuration, which is not found in the documentation files 
WARNING -  A relative path to 'translation.md' is included in the 'nav' configuration, which is not found in the documentation files 
WARNING -  A relative path to 'export.md' is included in the 'nav' configuration, which is not found in the documentation files 
WARNING -  Documentation file 'index.md' contains a link to 'manifesto.md' which is not found in the documentation files. 
WARNING -  Documentation file 'index.md' contains a link to 'export/implem.md' which is not found in the documentation files. 
WARNING -  Documentation file 'index.md' contains a link to 'publication/apropos.md' which is not found in the documentation files. 
WARNING -  Documentation file 'index.md' contains a link to 'publication/implem.md' which is not found in the documentation files. 
amelieled commented 2 years ago

Hi @francoisthire and @gabrielhdt ! Can I delete all the files listed above or do you have any ideas in mind for filling them?

amelieled commented 2 years ago

By the way, this issue seems to be redundant with #34 .

gabrielhdt commented 2 years ago

Hi Amélie, you can :+1:

francoisthire commented 2 years ago

I don't remember those files. I think @gabrielhdt must have added them.

gabrielhdt commented 2 years ago

Fixed in #40