Skip to content

Commit 3962166

Browse files
committed
chore(Makefile): Add "rm -f docs/odoc.html" step
* so that "make update-fr-translation" shouldn't raise: ``` File "docs/_unknown_", line 1, characters 0-0: Error: File unavailable: docs/odoc.html make: *** [Makefile:12: build] Error 1 ``` * but this fix is probably incomplete.
1 parent 3c781cb commit 3962166

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

Makefile

+1
Original file line numberDiff line numberDiff line change
@@ -38,6 +38,7 @@ translations/$(LANGS:=.pot):
3838
@for f in $(LANGS); do echo >> translations/$$f.po; done
3939
@rm -f translations/*.pot
4040
@${DUNE} clean ${DUNE_ARGS}
41+
-rm -f ${INDEX_ODOC_PATH}
4142
@DUMP_POT=1 ${DUNE} build ${DUNE_ARGS} -j 1
4243
@for f in $(LANGS); do \
4344
mv translations/$$f.pot translations/$$f.pot.bak; \

0 commit comments

Comments
 (0)