Re: [Minios-devel] [UNIKRAFT PATCH] doc: Remove empty `_static` file

[Felipe Huici <Felipe.Huici@xxxxxxxxx>]

Hi Simon, thanks for this fix. 

Reviewed-by: Felipe Huici <felipe.huici@xxxxxxxxx>

On 07.11.19, 10:41, "Simon Kuenzer" <simon.kuenzer@xxxxxxxxx> wrote:

    The previous commit introduced an empty file, called
    `doc/guides/_static`. It should actually be a folder that contains
    static files for document creation. This file also causes currently
    issues with our deployment for docs.unikraft.org.
    
    Signed-off-by: Simon Kuenzer <simon.kuenzer@xxxxxxxxx>
    ---
     .gitignore         | 2 ++
     doc/guides/_static | 0
     2 files changed, 2 insertions(+)
     delete mode 100644 doc/guides/_static
    
    diff --git a/.gitignore b/.gitignore
    index 09e4ba81..b8b13514 100644
    --- a/.gitignore
    +++ b/.gitignore
    @@ -1,5 +1,7 @@
     /build
     /doc/build
    +/doc/guides/_static
    +/doc/guides/_templates
     /.auto.deps
     /.config.cmd
     /.config.old
    diff --git a/doc/guides/_static b/doc/guides/_static
    deleted file mode 100644
    index e69de29b..00000000
    -- 
    2.23.0
    
    

_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel