pike.git/ src/ Makefile.in

2015-10-16

2015-10-16 14:50:24 by Martin Nilsson <nilsson@fastmail.com>

• e73e7e31812e08fa48f5bb1f6ee1a63645eecb43 (4 lines) (+3/-1) ^{[ Show | Annotate ]}
  Branch: 8.1

Also clean autodoc.xml.stamp in doc_clean.

979:    mkdir doc_build/src/post_modules/GTK2/refdoc/images      doc_clean: -  -rm -f onepage.xml traditional.xml modref.xml autodoc.xml resolution.log +  -rm -f onepage.xml traditional.xml modref.xml autodoc.xml \ +  autodoc.xml.stamp resolution.log    -rm -rf doc_build