ndwarshuis
/
org-mode
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Makefile: remove the updateweb directive

This commit is contained in:
Bastien Guerry 2011-01-09 19:03:37 +01:00
parent 672ff876a1
commit 158c93b90a
1 changed files with 0 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Makefile
View File

@ -264,9 +264,6 @@ doc/orgcard_letter.pdf: doc/orgcard_letter.tex
# Below here are special targets for maintenance only # Below here are special targets for maintenance only
updateweb:
ssh cdominik@orgmode.org 'pull-worg-orgweb.sh && publish-worg-orgweb.sh'
html: doc/org.html html: doc/org.html
html_manual: doc/org.texi html_manual: doc/org.texi