Commit af045112 authored by perronet's avatar perronet

Remove pretty-without-proofs

parent ecc6d373
Pipeline #20219 passed with stages
in 3 minutes and 45 seconds
...@@ -65,16 +65,13 @@ doc: ...@@ -65,16 +65,13 @@ doc:
- make gallinahtml -j ${NJOBS} - make gallinahtml -j ${NJOBS}
- mv html without-proofs - mv html without-proofs
- make htmlpretty -j ${NJOBS} - make htmlpretty -j ${NJOBS}
- mv html with-proofs-pretty - mv html pretty
- make gallinahtmlpretty -j ${NJOBS}
- mv html without-proofs-pretty
artifacts: artifacts:
name: "prosa-spec-$CI_COMMIT_REF_NAME" name: "prosa-spec-$CI_COMMIT_REF_NAME"
paths: paths:
- "with-proofs/" - "with-proofs/"
- "without-proofs/" - "without-proofs/"
- "with-proofs-pretty/" - "pretty/"
- "without-proofs-pretty/"
expire_in: 1 week expire_in: 1 week
proof-length: proof-length:
......
...@@ -49,9 +49,7 @@ The Coqdoc documentation (as shown on the [webpage](http://prosa.mpi-sws.org/doc ...@@ -49,9 +49,7 @@ The Coqdoc documentation (as shown on the [webpage](http://prosa.mpi-sws.org/doc
```$ make gallinahtml -j 4``` *Documentation without proofs* ```$ make gallinahtml -j 4``` *Documentation without proofs*
```$ make htmlpretty -j 4``` *Pretty documentation with proofs* ```$ make htmlpretty -j 4``` *Pretty documentation (can also hide/show proofs)*
```$ make gallinahtmlpretty -j 4``` *Pretty documentation without proofs*
Since Coqdoc requires object files as input, please make sure that the code is compilable. Since Coqdoc requires object files as input, please make sure that the code is compilable.
......
...@@ -7,6 +7,3 @@ htmlpretty: $(GLOBFILES) $(VFILES) ...@@ -7,6 +7,3 @@ htmlpretty: $(GLOBFILES) $(VFILES)
-html $(GAL) $(COQDOCLIBS) -d html $(VFILES) -html $(GAL) $(COQDOCLIBS) -d html $(VFILES)
$(HIDE)cp scripts/coqdocjs/resources/* html $(HIDE)cp scripts/coqdocjs/resources/* html
$(HIDE)mv html/index.html html/indexpage.html $(HIDE)mv html/index.html html/indexpage.html
gallinahtmlpretty: GAL=-g
gallinahtmlpretty: htmlpretty
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment