* Reapply the removal of the Doxygen-generated copy of jquery, since
this apparently wasn't as fixed as had been advertised. However, make
it conditional on the existence of the jquery.js script, so we should
hopefully only fix this where necessary.
- Treat Linux 3.0 as Linux 2.6 for sysname purposes
* Update README.source for a few changes in procedures and source
package format.
+ * Reapply the removal of the Doxygen-generated copy of jquery, since
+ this apparently wasn't as fixed as had been advertised. However, make
+ it conditional on the existence of the jquery.js script, so we should
+ hopefully only fix this where necessary.
-- Russ Allbery <rra@debian.org> Mon, 18 Jul 2011 16:48:35 -0700
set -e; if [ -d "$(DOCS)" ] ; then \
for d in arch-overview bos-spec fs-cm-spec rx-spec \
vldb-vol-spec ; do \
- rm $(DOCS)/html/$$d/jquery.js ; \
- ln -s /usr/share/javascript/jquery/jquery.min.js \
- $(DOCS)/html/$$d/jquery.js ; \
+ if [ -f "$(DOCS)/html/$$d/jquery.js" ] ; then \
+ rm $(DOCS)/html/$$d/jquery.js ; \
+ ln -s /usr/share/javascript/jquery/jquery.min.js \
+ $(DOCS)/html/$$d/jquery.js ; \
+ fi ; \
done ; \
fi