0-list: update PROCFS_MAX_SIZE to 512

.circleci/config.yml

@@ -0,0 +1,80 @@
+version: 2
+general:
+  artifacts:
+
+jobs:
+  build:
+   docker:
+     - image: lktp/publish:0.2
+   environment:
+     GITHUB_IO=git@github.com:linux-kernel-labs/linux-kernel-labs.github.io.git
+   steps:
+     - restore_cache:
+         key: code-tree-shallow
+     - run:
+         name: checkout
+         command: |
+           set -x
+           mkdir -p ~/.ssh/
+           ssh-keyscan -H github.com >> ~/.ssh/known_hosts
+           git config --global user.email "circle.ci@kltp.org"
+           git config --global user.name "Circle CI"
+           if ! [ -d linux ]; then
+             git clone --depth=1 $CIRCLE_REPOSITORY_URL;
+           fi
+           if cd linux; then
+               if [[ $CIRCLE_BRANCH == pull/* ]]; then
+                  git fetch --depth=1 origin $CIRCLE_BRANCH/head;
+               else
+                  git fetch --depth=1 origin $CIRCLE_BRANCH;
+               fi
+               git reset --hard $CIRCLE_SHA1
+               cd ..
+           fi
+           if ! [ -d linux-kernel-labs.github.io ]; then
+              git clone --depth=1 $GITHUB_IO
+           fi
+           if cd linux-kernel-labs.github.io; then
+               git fetch --depth=1 origin master
+               git reset --hard origin/master
+               cd ..
+           fi
+     - save_cache:
+         key: code-tree-shallow-{{ epoch }}
+         paths:
+           - /home/ubuntu/project/linux/.git
+           - /home/ubuntu/project/linux-kernel-labs.github.io/.git
+     - run:
+         name: build
+         command: |
+           rm -rf linux/Documentation/output
+           cd linux/tools/labs && make docs
+     - add_ssh_keys:
+         fingerprints:
+           "8e:db:3c:ef:d0:4e:84:9f:78:46:e9:2f:1a:1e:32:81"
+     - run:
+         name: publish
+         command: |
+            set -x
+            if cd linux-kernel-labs.github.io; then
+                rm -rf $CIRCLE_BRANCH
+                mkdir -p $CIRCLE_BRANCH
+                cp -r ../linux/Documentation/output/teaching/* $CIRCLE_BRANCH/
+                git add $CIRCLE_BRANCH/
+                git commit --allow-empty -m "Publish $CIRCLE_BRANCH (built from ${CIRCLE_PULL_REQUEST:-$CIRCLE_BRANCH})"
+                git push
+                export GITHUB_SHA=$CIRCLE_SHA1
+                export GITHUB_USER=linux-kernel-labs
+                export GITHUB_REPO=$CIRCLE_PROJECT_REPONAME
+                export GITHUB_CONTEXT="ci/circleci: publish"
+                export GITHUB_TARGET_URL="http://linux-kernel-labs.github.io/$CIRCLE_BRANCH"
+                export GITHUB_DESCRIPTION="published at $GITHUB_TARGET_URL"
+                github-status-reporter --state success --debug
+                cd ..
+            fi
+
+workflows:
+  version: 2
+  build:
+    jobs:
+     - build

Documentation/Makefile

@@ -67,6 +67,9 @@ quiet_cmd_sphinx = SPHINX  $@ --> file://$(abspath $(BUILDDIR)/$3/$4)
 htmldocs:
 	@+$(foreach var,$(SPHINXDIRS),$(call loop_cmd,sphinx,html,$(var),,$(var)))
 
+slides:
+	@+$(foreach var,$(SPHINXDIRS),$(call loop_cmd,sphinx,slides,$(var),,$(var)))
+
 linkcheckdocs:
 	@$(foreach var,$(SPHINXDIRS),$(call loop_cmd,sphinx,linkcheck,$(var),,$(var)))
 

Documentation/conf.py

@@ -15,6 +15,9 @@
 import sys
 import os
 import sphinx
+import subprocess
+
+from distutils.version import LooseVersion
 
 # Get Sphinx version
 major, minor, patch = sphinx.version_info[:3]
@@ -42,6 +45,16 @@
 else:
     extensions.append("sphinx.ext.pngmath")
 
+try:
+    hglyph_ver = subprocess.check_output(["hieroglyph", "--version"])
+    if LooseVersion(hglyph_ver) > LooseVersion("1.0.0"):
+	    extensions.append('hieroglyph')
+except:
+    None
+
+extensions.append("ditaa")
+extensions.append("asciicast")
+
 # Add any paths that contain templates here, relative to this directory.
 templates_path = ['_templates']
 
@@ -183,11 +196,9 @@
 
 html_static_path = ['sphinx-static']
 
-html_context = {
-    'css_files': [
-        '_static/theme_overrides.css',
-    ],
-}
+def setup(app):
+    app.add_stylesheet('theme_overrides.css')
+
 
 # Add any extra paths that contain custom files (such as robots.txt or
 # .htaccess) here, relative to this directory. These files are copied

Documentation/media/Makefile

@@ -59,6 +59,7 @@ epub: all
 xml: all
 latex: $(IMGPDF) all
 linkcheck:
+slides: all
 
 clean:
 	-rm -f $(DOTTGT) $(IMGTGT) ${TARGETS} 2>/dev/null