draining just to be sure for CTAN distribution
This commit is contained in:
parent
e3b27cc394
commit
99cd7fab88
@ -18,13 +18,13 @@ ctan: all filedate checksum
|
|||||||
git push
|
git push
|
||||||
rm -Rf $(EXPORTED)
|
rm -Rf $(EXPORTED)
|
||||||
@echo "exporting a clean copy to $(EXPORTED)"
|
@echo "exporting a clean copy to $(EXPORTED)"
|
||||||
cd /tmp; git clone $(HERE); mv LaTeX-proposal $(EXPORTED)
|
cd $(TMP); git clone $(HERE); mv LaTeX-proposal $(EXPORTED)
|
||||||
rm -Rf $(EXPORTED)/.git
|
rm -Rf $(EXPORTED)/.git
|
||||||
# rm $(EXPORTED)/.gitignore
|
rm $(EXPORTED)/.gitignore
|
||||||
# cd $(EXPORTED); $(MAKE) -$(MAKEFLAGS) ctanext
|
cd $(EXPORTED); $(MAKE) -$(MAKEFLAGS) ctanext
|
||||||
# @echo "zipping the result to $(TDSCOLL).ctan.zip"
|
@echo "zipping the result to $(TDSCOLL).ctan.zip"
|
||||||
# cd $(TMP); zip -r -q $(CTANZIP) $(CTANCOLL); cd -; cp $(CTANZIP) .
|
cd $(TMP); zip -r -q $(CTANZIP) $(CTANCOLL); cd -; cp $(CTANZIP) .
|
||||||
# rm -Rf $(EXPORTED) $(CTANDIR) $(CTANZIP)
|
rm -Rf $(EXPORTED) $(CTANDIR) $(CTANZIP)
|
||||||
|
|
||||||
# this target is run on EXPORTED. It first makes the target tdsext below,
|
# this target is run on EXPORTED. It first makes the target tdsext below,
|
||||||
# and then copies all necessary stuff into CTANDIR.
|
# and then copies all necessary stuff into CTANDIR.
|
||||||
|
Loading…
Reference in New Issue
Block a user