From: Terrance S. <ts...@us...> - 2007-08-30 21:47:53
|
Update of /cvsroot/xsb/XSB/docs In directory sc8-pr-cvs10.sourceforge.net:/tmp/cvs-serv13282 Modified Files: SOURCEFORGE_SITE_MAINTENANCE Log Message: Updates to process, based on some cuts and bruises I experienced this time. Index: SOURCEFORGE_SITE_MAINTENANCE =================================================================== RCS file: /cvsroot/xsb/XSB/docs/SOURCEFORGE_SITE_MAINTENANCE,v retrieving revision 1.1 retrieving revision 1.2 diff -u -r1.1 -r1.2 --- SOURCEFORGE_SITE_MAINTENANCE 4 Aug 2007 16:56:21 -0000 1.1 +++ SOURCEFORGE_SITE_MAINTENANCE 30 Aug 2007 21:47:50 -0000 1.2 @@ -6,17 +6,24 @@ So, to update the web page do the following steps. -1) make whatever changes you need in docs/newpages, and when you are +-- make whatever changes you need in docs/newpages, and when you are done update cvs. -2) log in to shell.sourceforge.net as xsb then cd to xsb/htdocs (full -path is /home/groups/x/xs/xsb/htdocs). Copy into this directory any -of the .html or other files you need. +-- log in to shell.sourceforge.net as xsb then cd to xsb/htdocs (full +path is /home/groups/x/xs/xsb/htdocs). Copy into the staging directory any +of the .html or other files you need. Eg. -3) There are several other directories that may need to be updated. +scp about.html xs...@sh...:/home/groups/x/xs/xsb/htdocs/staging + +-- Add the release file following the instructions of: + +https://sourceforge.net/docs/E01/en/#top + +-- There are several other directories that may need to be updated. api -- has generated documentation for XSB manual1 -- subdirectory for manual vol. 1 manual2 -- subdirectory for manual vol. 2 packages -- subdirecotry for packages manuals + |