[gxml] CI: pages keep both index.htm and index.html

[Daniel Espinosa Ortiz <despinosa src gnome org>]

commit 70cc78cffaf0259b1a84de5fcdc8bdc1236b1bcc
Author: Daniel Espinosa <esodan gmail com>
Date:   Fri Aug 9 11:24:01 2019 -0500

    CI: pages keep both index.htm and index.html
    
    This is required by valadoc links

 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 304347a..9573a3b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -38,7 +38,7 @@ pages:
   - mv ../docs/site ../public
   - mv docs/GXml-* ../public/dev
   - cd ..
-  - mv public/dev/index.htm public/dev/index.html
+  - cp public/dev/index.htm public/dev/index.html
   artifacts:
     paths:
       - public